AbstractMemory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structures. In this paper we present sound and complete axiomatizations for some members of this family. We analyze the use of nominals to achieve completeness, and present one example in which they can be avoided
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
Kracht M, Kutz O. Elementary Models for Modal Predicate Logic. Part 1: Completeness. In: Wolter F, e...
We introduce a modal language L which is obtained from standard modal logic by adding the Boolean op...
Abstract. Memory logics are a family of modal logics in which standard relational structures are aug...
AbstractMemory logics are a family of modal logics in which standard relational structures are augme...
Abstract. Memory logics are modal logics whose semantics is specified in terms of relational models ...
International audienceMemory logics are modal logics whose semantics is specified in terms of relati...
In this paper, we develop a framework for obtaining completeness results for extensions of modal log...
Abstract. Taking as inspiration the hybrid logic HL(↓), we introduce a new family of logics that we ...
This paper presents an abstract study of completeness properties of non-classical logics with respec...
It is well known at present that relational semantics for propositional modal logics is far from com...
Abstract. We investigate the expressive power of memory logics. These are modal logics extended with...
We prove here a series of original incompleteness results for propositional modal logic for both the...
We introduce a modal separation logic MSL whose models are memory states from separation logic and t...
We give a sufficient condition for Kripke completeness of the extension of a modal logic with the tr...
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
Kracht M, Kutz O. Elementary Models for Modal Predicate Logic. Part 1: Completeness. In: Wolter F, e...
We introduce a modal language L which is obtained from standard modal logic by adding the Boolean op...
Abstract. Memory logics are a family of modal logics in which standard relational structures are aug...
AbstractMemory logics are a family of modal logics in which standard relational structures are augme...
Abstract. Memory logics are modal logics whose semantics is specified in terms of relational models ...
International audienceMemory logics are modal logics whose semantics is specified in terms of relati...
In this paper, we develop a framework for obtaining completeness results for extensions of modal log...
Abstract. Taking as inspiration the hybrid logic HL(↓), we introduce a new family of logics that we ...
This paper presents an abstract study of completeness properties of non-classical logics with respec...
It is well known at present that relational semantics for propositional modal logics is far from com...
Abstract. We investigate the expressive power of memory logics. These are modal logics extended with...
We prove here a series of original incompleteness results for propositional modal logic for both the...
We introduce a modal separation logic MSL whose models are memory states from separation logic and t...
We give a sufficient condition for Kripke completeness of the extension of a modal logic with the tr...
AbstractVersions and extensions of intuitionistic and modal logic involving biHeyting and bimodal op...
Kracht M, Kutz O. Elementary Models for Modal Predicate Logic. Part 1: Completeness. In: Wolter F, e...
We introduce a modal language L which is obtained from standard modal logic by adding the Boolean op...
DOI
Add to ORKG