A coalgebraic view on positive modal logic

Alessandra Palmigiano*

*Corresponding author for this work

Research output: Contribution to JournalArticleAcademicpeer-review


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 the algebrization of logics (Lecture Notes in Logic, Springer, Berlin, 1996). A Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces in (J. IGPL 7 (6) (1999) 683). 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.

Original languageEnglish
Pages (from-to)175-195
Number of pages21
JournalTheoretical Computer Science
Issue number1-2
Publication statusPublished - 25 Oct 2004
Externally publishedYes


  • Positive modal algebra
  • Positive modal logic
  • Priestley space
  • Vietoris functor


Dive into the research topics of 'A coalgebraic view on positive modal logic'. Together they form a unique fingerprint.

Cite this