Category theory for computing science
Category theory for computing science
Totally bounded spaces and compact ordered spaces as domains of computation
Topology and category theory in computer science
A Paradigm for Program Semantics: Power Structures and Duality
A Paradigm for Program Semantics: Power Structures and Duality
Coalgebraic modal logic of finite rank
Mathematical Structures in Computer Science
ACM SIGACT News
Coalgebras and Modal Expansions of Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Free modal algebras: a coalgebraic perspective
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Duality for logics of transition systems
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
| Hi-index | 0.00 |
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.