Algebraic Semantics for Coalgebraic Logics

With coalgebras usually being defined in terms of an endofunctor T on sets, this paper shows that modal logics for T-coalgebras can be naturally described as functors L on boolean algebras. Building on this idea, we study soundness, completeness and expressiveness of coalgebraic logics from the perspective of duality theory. That is, given a logic L for coalgebras of an endofunctor T, we construct an endofunctor L such that L-algebras provide a sound and complete (algebraic) semantics of the logic. We show that if L is dual to T, then soundness and completeness of the algebraic semantics immediately yield the corresponding property of the coalgebraic semantics. We conclude by characterising duality between L and T in terms of the axioms of L. This provides a criterion for proving concretely given logics to be sound, complete and expressive.

[1]  Ildikó Sain,et al.  Applying Algebraic Logic to Logic , 1993, AMAST.

[2]  Samson Abramsky,et al.  A Cook's Tour of the Finitary Non-Well-Founded Sets , 2011, We Will Show Them!.

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

[4]  Silvio Ghilardi,et al.  An Algebraic Theory of Normal Forms , 1995, Ann. Pure Appl. Log..

[5]  Corina Cîrstea.  On Expressivity and Compositionality in Logics for Coalgebras , 2003, CMCS.

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

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

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

[9]  Bart Jacobs,et al.  Towards a Duality Result in Coalgebraic Modal Logic , 2000, CMCS.

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

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

[12]  Robert Goldblatt.  Duality for some categories of coalgebras , 2001 .

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

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

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

[16]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

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

[18]  Martin Rößiger,et al.  Coalgebras and Modal Logic , 2000, CMCS.

[19]  Alexander Kurz,et al.  Coalgebraic modal logic of finite rank , 2005, Math. Struct. Comput. Sci..

[20]  James Worrell,et al.  Terminal sequences for accessible endofunctors , 1999, CMCS.

[21]  C. Pollard,et al.  Center for the Study of Language and Information , 2022 .

[22]  Robert Goldblatt,et al.  Varieties of Complex Algebras , 1989, Ann. Pure Appl. Log..