Add to ORKGAbstract. Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond. In this paper, we provide a coalgebraic analysis of this theorem, which not only gives a conceptual proof based on duality theory, but also gen-eralizes Dunn’s result from Kripke frames to coalgebras of weak-pullback preserving functors. For possible application to fixed-point logics, it is note-worthy that the positive coalgebraic logic of a functor is given not by all predicate-liftings but by all mono...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...
We investigate an alternative presentation of classical and positive modal logic where the coalgebra...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
AbstractPositive modal logic is the restriction of the modal local consequence relation defined by t...
AbstractPositive Modal Logic is the restriction of the modal local consequence relation defined by t...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
AbstractThe paper has two main parts: First we make the connection between monotone modal logic and ...
Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic log...
AbstractCoalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgeb...
AbstractPositive modal logic is the restriction of the modal local consequence relation defined by t...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...
We investigate an alternative presentation of classical and positive modal logic where the coalgebra...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of...
AbstractPositive modal logic is the restriction of the modal local consequence relation defined by t...
AbstractPositive Modal Logic is the restriction of the modal local consequence relation defined by t...
AbstractThis paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, an...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic gene...
AbstractThe paper has two main parts: First we make the connection between monotone modal logic and ...
Coalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgebraic log...
AbstractCoalgebras can be seen as a natural abstraction of Kripke frames. In the same sense, coalgeb...
AbstractPositive modal logic is the restriction of the modal local consequence relation defined by t...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...
We investigate an alternative presentation of classical and positive modal logic where the coalgebra...
We present positive coalgebraic logic in full generality, and show how to obtain a positive coalgebr...