Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
From MaRDI portal
Publication:5134275
DOI10.3233/FI-2020-1920zbMath1471.03043MaRDI QIDQ5134275
Publication date: 16 November 2020
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Many-valued logic (03B50)
Related Items (2)
Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Fuzzy simulations and bisimulations between fuzzy automata
This page was built for publication: Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
