Expressivity in chain-based modal logics

DOI10.1007/s00153-017-0573-4OpenAlexW2733196847MaRDI QIDQ1745356

George Metcalfe, Michel Marti

Publication date: 17 April 2018

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://boris.unibe.ch/102069/1/mame17.pdf

zbMATH Keywords

modal logicbisimulationmany-valued logicmodal equivalenceHennessy-Milner property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (4)

Frame definability in finitely valued modal logics ⋮ Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices ⋮ Fuzzy simulations and bisimulations between fuzzy automata ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spatial reasoning in a fuzzy region connection calculus
• Standard Gödel modal logics
• Metamathematics of fuzzy logic
• A qualitative fuzzy possibilistic logic
• Varieties of BL-algebras. I: General properties.
• Algebraic foundations of many-valued reasoning
• Extending maps to profinite completions in finitely generated quasivarieties
• Decidability of order-based modal logics
• Making fuzzy description logic more general
• The limits of decidability in fuzzy description logics with general concept inclusions
• Proof theory for fuzzy logics
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Notions of Bisimulation for Heyting-Valued Modal Languages
• On modal extensions of Product fuzzy logic
• Towards a Proof Theory of G\"odel Modal Logics
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Bi-modal Godel logic over [0,1-valued Kripke frames]
• A theorem about infinite-valued sentential logic

This page was built for publication: Expressivity in chain-based modal logics