Buscar
Mostrando ítems 1-10 de 6671
The power of modal separation logics
(Oxford University Press, 2019-12)
We introduce a modal separation logic MSL whose models are memory states from separation logic and the logical connectives include modal operators as well as separating conjunction and implication from separation logic. ...
Graph logics with rational relations: the role of word combinatorics
(Association for Computing Machinery, 2017)
Graph databases make use of logics that combine traditional first-order features with navigation on paths, in the same way logics for model checking do. However, modern applications of graph databases impose a new requirement ...
Swap logic
(2014)
We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ...
Restricted normal modal logics and levelled possible worlds semantics
(OXFORD UNIV PRESS, 2014-08-01)
Restricted normal modal logics are here defined by imposing conditions on the modal axioms and rules of normal modal systems. The conditions are defined in terms of a depth (associated with the modal connective) and a ...
Satisfiability for relation-changing logics
(Oxford University Press, 2018-10)
Relation-changing modal logics (RC for short) are extensions of the basic modal logic with dynamic operators that modify the accessibility relation of a model during the evaluation of a formula. These languages are equipped ...
The expressive power of memory logics
(Cambridge University Press, 2011-06)
We investigate the expressive power of memory logics. These are modal logics extended with the possibility to store (or remove) the current node of evaluation in (or from) a memory, and to perform membership tests on the ...