Notre Dame Journal of Formal Logic 45 (1):19-33 (2004)
AbstractThis paper presents a logical characterization of coalgebraic behavioral equivalence. The characterization is given in terms of coalgebraic modal logic, an abstract framework for reasoning about, and specifying properties of, coalgebras, for an endofunctor on the category of sets. Its main feature is the use of predicate liftings which give rise to the interpretation of modal operators on coalgebras. We show that coalgebraic modal logic is adequate for reasoning about coalgebras, that is, behaviorally equivalent states cannot be distinguished by formulas of the logic. Subsequently, we isolate properties which also ensure expressiveness of the logic, that is, logical and behavioral equivalence coincide
Added to PP
Historical graph of downloads
Citations of this work
Hybrid Logic with the Difference Modality for Generalisations of Graphs.Robert S. R. Myers & Dirk Pattinson - 2010 - Journal of Applied Logic 8 (4):441-458.
Stochastic Coalgebraic Logic: Bisimilarity and Behavioral Equivalence.Ernst-Erich Doberkat - 2008 - Annals of Pure and Applied Logic 155 (1):46-68.
Coalgebraic Logic for Stochastic Right Coalgebras.Ernst-Erich Doberkat & Christoph Schubert - 2009 - Annals of Pure and Applied Logic 159 (3):268-284.
Similar books and articles
A Study of Categorres of Algebras and Coalgebras.Jesse Hughes, Steve Awodey, Dana Scott, Jeremy Avigad & Lawrence Moss - unknown
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. [REVIEW]D. M. Gabbay - 2002 - Journal of Philosophical Logic 31 (3):211-243.
Displaying and Deciding Substructural Logics 1: Logics with Contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Term-Modal Logics.Melvin Fitting, Lars Thalmann & Andrei Voronkov - 2001 - Studia Logica 69 (1):133-169.
Almost Everywhere Equivalence of Logics in Finite Model Theory.Lauri Hella, Phokion G. Kolaitis & Kerkko Luosto - 1996 - Bulletin of Symbolic Logic 2 (4):422-443.
Faultless Disagreement, Assertions and the Affective-Expressive Dimension of Judgments of Taste.Filip Buekens - 2011 - Philosophia 39 (4):637-655.
Expressivity of Imperfect Information Logics Without Identity.Antti Kuusisto - 2013 - Studia Logica 101 (2):237-265.
Cut-Free Sequent and Tableau Systems for Propositional Diodorean Modal Logics.Rajeev Goré - 1994 - Studia Logica 53 (3):433 - 457.