The modal logic of cluster-decomposable Kripke interpretations

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

Michael Kaminski, Michael Tiomkin

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)

Cited In (3)

• A Modal Logic of Knowledge, Belief, and Estimation
• Title not available (Why is that?)
• A non-preferential semantics of non-monotonic modal logic

   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 👍 👎

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)