Buscar
Mostrando ítems 1-10 de 1016
Hybrid and subexponential linear logics
(Elsevier, 2017)
A uniform framework for substructural logics with modalities
(Easy Chair, 2017-05-04)
It is well known that context dependent logical rules can be problematic both to implement and
reason about. This is one of the factors driving the quest for better behaved, i.e., local, logical
systems. In this work we ...
Linear Temporal Logic-based Mission Planning
In this paper, we describe the Linear Temporal
Logic-based reactive motion planning. We address the problem of
motion planning for mobile robots, wherein the goal specification
of planning is given in complex environments. ...
Mechanizing focused linear logic in coq
(Elsevier, 2018)
On concurrent behaviors and focusing in linear logic
(Elsevier, 2017)
Preservation by fibring of the finite model property
(Oxford Univ PressOxfordInglaterra, 2011)
Probabilistic logic with independence
(ELSEVIER SCIENCE INC, 2008)
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional ...