Expressivity of Many-Valued Modal Logics, Coalgebraically

We apply methods developed to study coalgebraic logic to investigate expressivity of many-valued modal logics which we consider as coalgebraic languages interpreted over set-coalgebras with many-valued valuations. The languages are based on many-valued predicate liftings. We provide a characterization theorem for a language generated by a set of such modalities to be expressive for bisimilarity: in addition to the usual condition on the set of predicate liftings being separating, we indicate a sufficient and sometimes also necessary condition on the algebra of truth values which guarantees expressivity. Thus, adapting results of Schroder [16] concerning expressivity of boolean coalgebraic logics to many-valued setting, we generalize results of Metcalfe and Marti [13], concerning Hennessy-Milner property for many-valued modal logics based on $$\Box $$ and $$\diamondsuit $$.

[1]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

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

[3]  Andrea Asperti,et al.  A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions , 2012, Log. Methods Comput. Sci..

[4]  H. Peter Gumm,et al.  Coalgebraic Simulations and Congruences , 2014, CMCS.

[5]  H. Ono,et al.  Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 , 2007 .

[6]  Alexander Kurz,et al.  Modalities in the Stone age: A comparison of coalgebraic logics , 2012, Theor. Comput. Sci..

[7]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[8]  Yde Venema,et al.  Stone coalgebras , 2004, Theor. Comput. Sci..

[9]  Lluis Godo,et al.  On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice , 2008, J. Log. Comput..

[10]  George Metcalfe,et al.  A Hennessy-Milner Property for Many-Valued Modal Logics , 2014, Advances in Modal Logic.

[11]  Yde Venema,et al.  Completeness for the coalgebraic cover modality , 2012, Log. Methods Comput. Sci..

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

[13]  Marta Bílková,et al.  Many-Valued Relation Lifting and Moss' Coalgebraic Logic , 2013, CALCO.

[14]  Dirk Pattinson,et al.  Semantical Principles in the Modal Logic of Coalgebras , 2001, STACS.

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

[16]  Robert McNaughton,et al.  A Theorem About Infinite-Valued Sentential Logic , 1951, J. Symb. Log..

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