Model existence in non-compact modal logic

DOI10.1023/A:1010573427578MaRDI QIDQ5939997zbMATH OpenOpenAlexFDO

Authors Yoshihito Tanaka

Publication date 31 October 2001

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010573427578

zbMATH Keywords

constant domain predicate modal logicKripke modelmodal logic of common knowledgenon-compact modal logicrepresentation of modal algebra

Mathematics Subject Classification ID

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

Recommendations

• A model existence theorem in infinitary propositional modal logic
• Modal logic and model theory
• scientific article; zbMATH DE number 5622639
• La connaissance commune en logique modale
• Cut-free common knowledge

Cited in

(7)

• A model existence theorem in infinitary propositional modal logic
• Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects
• Number of non-Fregean sentential logics that have adequate models
• An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
• An -rule for the logic of provability and its models
• Nonstandard models and Kripke's proof of the Gödel theorem
• Neighbourhood and algebraic models for predicate modal logics with -rules

This page was built for publication: Model existence in non-compact modal logic

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