Add to ORKGIn a paper on the logical work of the Jains, Graham Priest considers a consequence relation, semantically characterized, which has a natural analogue in modal logic. Here we give a syntactic/axiomatic description of the modal formulas which are consequences of the empty set by this relation, which is to say: those formulas which are, for every model, true at some point in that model
This article presents an overview of the basic philosophical motivations for, and some recent work i...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In this article, we present a modal logic system that allows representing relationships between sets...
Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number o...
This paper contributes to the theory of the modal μ-calculus by proving some model-theoretic results...
This paper contributes to the theory of the modal $\mu$-calculus by provingsome model-theoretic resu...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms o...
The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In this article, we present a modal logic system that allows representing relationships between sets...
Lloyd Humberstone’s recently published Philosophical Applications of Modal Logic presents a number o...
This paper contributes to the theory of the modal μ-calculus by proving some model-theoretic results...
This paper contributes to the theory of the modal $\mu$-calculus by provingsome model-theoretic resu...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
I consider the first-order modal logic which counts as valid those sentences which are true on every...
In 1945 J.C.C. McKinsey produced a ‘semantics’ for modal logic based on necessity defined in terms o...
The nonmonotonic logic called Autoepistemic Logic is shown to be representable in a monotonic Modal...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
This article presents an overview of the basic philosophical motivations for, and some recent work i...
Modal and modal-like logics have become the focus of rcriewed attentiorl in the field of knowledge r...
In this article, we present a modal logic system that allows representing relationships between sets...