Expressiveness of Positive Coalgebraic Logic

Authors

Clemens Kupke, Imperial College London
Alexander Kurz, Chapman UniversityFollow
Yde Venema, Universiteit van Amsterdam

Document Type

Conference Proceeding

Publication Date

2012

Abstract

From the point of view of modal logic, coalgebraic logic over posets is the natural coalgebraic generalisation of positive modal logic. From the point of view of coalgebra, posets arise if one is interested in simulations as opposed to bisimulations. From a categorical point of view, one moves from ordinary categories to enriched categories. We show that the basic setup of coalgebraic logic extends to this more general setting and that every finitary functor on posets has a logic that is expressive, that is, has the Hennessy-Milner property.

Comments

This paper was originally presented at Advances in Modal Logic in 2012.

Recommended Citation

K. Kapulkin, A. Kurz, and J. Velebil, "Expressiveness of Positive Coalgebraic Logic", Advances in Modal Logic, volume 9, pp. 368-385, August 2012.

Copyright

College Publications