Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations

Issue title: Special Issue on The Working Formal Methods Symposium (FROM 2018)

Guest editors: Jetty Kleijn, Laurenţiu Leuştean and Dorel Lucanu

Article type: Research Article

Authors: Diaconescu, Denisa^{; *}

Affiliations: Faculty of Mathematics and Computer Science, University of Bucharest, Academiei 14, 010014, Bucharest, Romania. [email protected]

Correspondence: [*] Address for correspondence: Faculty of Mathematics and Computer Science, University of Bucharest, Academiei 14, 010014, Bucharest, Romania

Abstract: In this paper we investigate the Hennessy-Milner property for models of many-valued modal logics defined based on complete MTL-chains having many-valued accessibility relations. Our main result gives a necessary and sufficient algebraic condition for the class of image-finite models for such modal logics to admit the Hennessy-Milner property.

Keywords: many-valued logics, modal logics, bisimulation, Hennessy-Milner property

DOI: 10.3233/FI-2020-1920

Journal: Fundamenta Informaticae, vol. 173, no. 2-3, pp. 177-189, 2020