Expressiveness of Positive Coalgebraic Logic

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.

[1]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[2]  V. E. Cazanescu.  Algebraic theories , 2004 .

[3]  Bartek Klin,et al.  An Abstract Coalgebraic Approach to Process Equivalence for Well-Behaved Operational Semantics , 2004 .

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

[5]  G. M. Kelly,et al.  BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.

[6]  Alexander Kurz,et al.  Equational presentations of functors and monads , 2011, Mathematical Structures in Computer Science.

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

[8]  Alexander Kurz,et al.  Enriched Logical Connections , 2011, Applied Categorical Structures.

[9]  Sally Popkorn,et al.  A Handbook of Categorical Algebra , 2009 .

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

[11]  Samson Abramsky,et al.  Domain Theory in Logical Form , 1991, LICS.

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

[13]  Bart Jacobs,et al.  Simulations in Coalgebra , 2003, CMCS.

[14]  Alexander Kurz,et al.  Coalgebras and their logics , 2006, SIGA.

[15]  Alexander Kurz,et al.  Relation Liftings on Preorders and Posets , 2011, CALCO.

[16]  Alexander Kurz,et al.  Strongly Complete Logics for Coalgebras , 2012, Log. Methods Comput. Sci..

[17]  Ana Sokolova,et al.  Exemplaric Expressivity of Modal Logics , 2010, J. Log. Comput..

[18]  William L. Harrison,et al.  Partially-ordered Modalities , 2010, Advances in Modal Logic.

[19]  Dirk Pattinson,et al.  Modular Algorithms for Heterogeneous Modal Logics , 2007, ICALP.

[20]  J. Michael Dunn,et al.  Positive modal logic , 1995, Stud Logica.

[21]  Horst Herrlich,et al.  Abstract and concrete categories , 1990 .

[22]  James Worrell,et al.  Coinduction for recursive data types: partial orders, metric spaces and Omega-categories , 2000, CMCS.

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

[24]  Alexander Kurz,et al.  Finitary Functors: From Set to Preord and Poset , 2011, CALCO.

[25]  Bartek Klin.  The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic , 2005, CALCO.

[26]  Paul Blain Levy,et al.  Similarity Quotients as Final Coalgebras , 2011, FoSSaCS.

[27]  Jirí Adámek,et al.  On final coalgebras of continuous functors , 2003, Theor. Comput. Sci..

[28]  Bartek Klin,et al.  Coalgebraic Modal Logic Beyond Sets , 2007, MFPS.

[29]  Albert Thijs,et al.  Simulation and fixpoint semantics , 1996 .

[30]  Peter Aczel,et al.  Non-well-founded sets , 1988, CSLI lecture notes series.

[31]  Jan J. M. M. Rutten.  Relators and Metric Bisimulations , 1998, CMCS.

[32]  Lutz Schröder,et al.  Expressivity of coalgebraic modal logic: The limits and beyond , 2008, Theor. Comput. Sci..

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

[34]  H. Herrlich,et al.  Category theory at work , 1991 .

[35]  James Worrell,et al.  On the final sequence of a finitary set functor , 2005, Theor. Comput. Sci..