The modal logic of cluster-decomposable Kripke interpretations

DOI10.1305/NDJFL/1193667708MaRDI QIDQ2425352zbMATH OpenOpenAlexFDO

Authors Michael Tiomkin, Michael Kaminski

Publication date 29 April 2008

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1193667708

zbMATH Keywords

modal logicaxiomatizationcluster-decomposable Kripke models

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45)

Recommendations

• A non-preferential semantics of non-monotonic modal logic
• La connaissance commune en logique modale
• Modal logics for knowledge representation systems
• Decomposability helps for deciding logics of knowledge and belief
• Kripke semantics for knowledge representation logics

Cited in

(9)

• Compositional reasoning for multi-modal logics
• scientific article; zbMATH DE number 1696899 (Why is no real title available?)
• Classification of extensions of the modal logic S4
• Modal logic and planarity of graphs
• A non-preferential semantics of non-monotonic modal logic
• A modal logic of knowledge, belief, and estimation
• Typology of axioms for a weighted modal logic
• Intricate axioms as interaction axioms
• Decomposability helps for deciding logics of knowledge and belief

This page was built for publication: The modal logic of cluster-decomposable Kripke interpretations

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