Ultrafilter Extensions for Coalgebras

This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is well-known that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the other hand, do provide an adequate semantics for finitary modal logics. This leads us to study the relationship of finitary modal logics and Set-coalgebras by uncovering the relationship between Set-coalgebras and Stone-coalgebras. This builds on a long tradition in modal logic, where one studies canonical extensions of modal algebras and ultrafilter extensions of Kripke frames to account for finitary logics. Our main contributions are the generalisations of two classical theorems in modal logic to coalgebras, namely the Jonsson-Tarski theorem giving a set-theoretic representation for each modal algebra and the bisimulation-somewhere-else theorem stating that two states of a coalgebra have the same (finitary modal) theory iff they are bisimilar (or behaviourally equivalent) in the ultrafilter extension of the coalgebra.

[1]  Yde Venema,et al.  Algebras and coalgebras , 2007, Handbook of Modal Logic.

[2]  S. Shelah,et al.  Annals of Pure and Applied Logic , 1991 .

[3]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[4]  Bart Jacobs,et al.  Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study , 2001, RAIRO Theor. Informatics Appl..

[5]  Martin Rö,et al.  From modal logic to terminal coalgebras , 2001, Theor. Comput. Sci..

[6]  Dirk Pattinson,et al.  Coalgebraic modal logic: soundness, completeness and decidability of local consequence , 2003, Theor. Comput. Sci..

[7]  Dirk Pattinson Expressive Logics for Coalgebras via Terminal Sequence Induction , 2004, Notre Dame J. Formal Log..

[8]  Samson Abramsky,et al.  A Domain Equation for Bisimulation , 1991, Inf. Comput..

[9]  Jan J. M. M. Rutten,et al.  Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..

[10]  R. Goldblatt Metamathematics of modal logic , 1974, Bulletin of the Australian Mathematical Society.

[11]  Alexander Kurz,et al.  Operations and equations for coalgebras , 2005, Mathematical Structures in Computer Science.

[12]  Ian Stark,et al.  Free-Algebra Models for the pi-Calculus , 2005, FoSSaCS.

[13]  Marcello M. Bonsangue,et al.  Duality for Logics of Transition Systems , 2005, FoSSaCS.

[14]  Lawrence S. Moss,et al.  Coalgebraic Logic , 1999, Ann. Pure Appl. Log..

[15]  Yde Venema,et al.  Stone Coalgebras , 2004, CMCS.

[16]  Alexander Kurz,et al.  Algebraic Semantics for Coalgebraic Logics , 2004, CMCS.

[17]  Samson Abramsky,et al.  Domain theory , 1995, LICS 1995.

[18]  Frank Wolter,et al.  Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.

[19]  Alexander Kurz A Co-Variety-Theorem for Modal Logic , 1998, Advances in Modal Logic.

[20]  A. Tarski,et al.  Boolean Algebras with Operators. Part I , 1951 .

[21]  Alexander Kurz,et al.  Specifying Coalgebras with Modal Logic , 1998, CMCS.