Expressivity in chain-based modal logics

DOI10.1007/S00153-017-0573-4MaRDI QIDQ1745356zbMATH OpenOpenAlexFDO

Authors Michel Marti, George Metcalfe

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

many-valued logicmodal logicbisimulationmodal equivalenceHennessy-Milner property

Mathematics Subject Classification ID

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

Recommendations

• A Hennessy-Milner property for many-valued modal logics
• Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• A Lindström theorem in many-valued modal logic over a finite MTL-chain
• scientific article; zbMATH DE number 35414

Cites work

• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 2063019 (Why is no real title available?)
• scientific article; zbMATH DE number 6863647 (Why is no real title available?)
• A Hennessy-Milner property for many-valued modal logics
• A qualitative fuzzy possibilistic logic
• A theorem about infinite-valued sentential logic
• Algebraic foundations of many-valued reasoning
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Decidability of order-based modal logics
• Expressivity of Many-Valued Modal Logics, Coalgebraically
• Making fuzzy description logic more general
• Many-valued modal logics: a simple approach
• Metamathematics of fuzzy logic
• Modal logic
• Notions of bisimulation for Heyting-valued modal languages
• On modal extensions of product fuzzy logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Proof theory for fuzzy logics
• Reasoning within fuzzy description logics
• Spatial reasoning in a fuzzy region connection calculus
• Standard Gödel modal logics
• Tense operators on MV-algebras and Łukasiewicz-Moisil algebras
• The limits of decidability in fuzzy description logics with general concept inclusions
• Towards a proof theory of Gödel modal logics
• Varieties of BL-algebras. I: General properties.

Cited in

(12)

• Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations
• A Hennessy-Milner property for many-valued modal logics
• scientific article; zbMATH DE number 6841178 (Why is no real title available?)
• Frame definability in finitely valued modal logics
• Many-valued coalgebraic logic over semi-primal varieties
• Fuzzy simulations and bisimulations between fuzzy automata
• Finite-Chain Graded Modal Logic
• A modal logic for discretely descending chains of sets
• Computing the fuzzy partition corresponding to the greatest fuzzy auto-bisimulation of a fuzzy graph-based structure under the Gödel semantics
• Logical characterizations of fuzzy bisimulations in fuzzy modal logics over residuated lattices
• Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\)
• Exemplaric Expressivity of Modal Logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1745356)