A new coalgebraic semantics for positive modal logic
Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of Abstract Algebraic Logic. Celani and Jansana established a Priestley-style duality the category of positive modal algebras and the category of K+-spaces. In this paper, we establish a categorical equivalence between the category K+ of K+-spaces and the category Coalg(V) of coalgebras of a suitable endofunctor V on the category of Priestley spaces.
|Frames, locales (msc 06D22)|
|Software Engineering [SEN]|
Palmigiano, A. (2002). A new coalgebraic semantics for positive modal logic. Software Engineering [SEN]. CWI.