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

axiomatizationcluster-decomposable Kripke modelsmodal logic

Mathematics Subject Classification ID

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

Review text

The authors introduce the class of so-called cluster-decomposable Kripke models. They study the corresponding modal logic, C, which is related to systems describing knowledge. Two alternative axiomatizations of C are given in the paper. Moreover, independence of the proposed axioms is proved, modalities in C are classified, and the connection between C and S4.2 is examined.

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)

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

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)