A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Godel, and product modal logics.

[1]  Alexander Kurz,et al.  Relation lifting, with an application to the many-valued cover modality , 2013, Log. Methods Comput. Sci..

[2]  P. Aglianò,et al.  Varieties of BL- algebras I: General properties. , 2003 .

[3]  Umberto Straccia,et al.  Reasoning within Fuzzy Description Logics , 2011, J. Artif. Intell. Res..

[4]  Xavier Caicedo,et al.  Bi-modal Gödel logic over [0, 1]-valued Kripke frames , 2011, J. Log. Comput..

[5]  Melvin Fitting,et al.  Many-valued modal logics II , 1992 .

[6]  Melvin Fitting,et al.  Many-valued modal logics , 1991, Fundam. Informaticae.

[7]  Martine De Cock,et al.  Spatial reasoning in a fuzzy region connection calculus , 2009, Artif. Intell..

[8]  Christos Nomikos,et al.  Notions of Bisimulation for Heyting-Valued Modal Languages , 2012, J. Log. Comput..

[9]  Nicola Olivetti,et al.  Towards a Proof Theory of Gödel Modal Logics , 2011, Log. Methods Comput. Sci..

[10]  Bruno Teheux,et al.  Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics , 2013, Stud Logica.

[11]  Kerstin Vogler,et al.  Algebraic Foundations Of Many Valued Reasoning , 2016 .

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

[13]  Robert Goldblatt,et al.  Final coalgebras and the Hennessy-Milner property , 2006, Ann. Pure Appl. Log..

[14]  Lluís Godo,et al.  A Fuzzy Modal Logic for Similarity Reasoning , 1999 .

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

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

[17]  Petr Hájek,et al.  A Fuzzy Modal Logic for Belief Functions , 2001, Fundam. Informaticae.

[18]  Graham Priest,et al.  MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH , 2008, The Review of Symbolic Logic.

[19]  George Georgescu,et al.  Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras , 2007, Fundam. Informaticae.

[20]  Petr Hájek,et al.  Making fuzzy description logic more general , 2005, Fuzzy Sets Syst..

[21]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[22]  Petr Hájek,et al.  On Modal Logics for Qualitative Possibility in a Fuzzy Setting , 1994, UAI.