ON DEFINABILITY IN MULTIMODAL LOGIC

DOI10.1017/S175502030999013XzbMath1190.03020OpenAlexW2113797694MaRDI QIDQ3644800

Joseph Y. Halpern, Dov Samet, Ella Segev

Publication date: 12 November 2009

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502030999013x

zbMATH Keywords

epistemic logicmodal algebrasdoxastic logicsemantic framesdefinability in modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Other algebras related to logic (03G25)

Related Items (1)

Intricate axioms as interaction axioms

Cites Work

• Modal languages and bounded fragments of predicate logic
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Synonymous logics
• An analog of Beth's theorem in normal extensions of the modal logic K4
• Systems for Knowledge and Belief
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators

This page was built for publication: ON DEFINABILITY IN MULTIMODAL LOGIC