The modal logic of cluster-decomposable Kripke interpretations

DOI10.1305/NDJFL/1193667708zbMATH Open1145.03010OpenAlexW2034646159MaRDI QIDQ2425352FDOQ2425352

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

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

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)

Cited In (9)

• Decomposability helps for deciding logics of knowledge and belief
• Modal logic and planarity of graphs
• Title not available (Why is that?)
• A non-preferential semantics of non-monotonic modal logic
• Typology of axioms for a weighted modal logic
• Intricate axioms as interaction axioms
• A modal logic of knowledge, belief, and estimation
• Classification of extensions of the modal logic S4
• Compositional reasoning for multi-modal logics

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)