Kripke completeness of infinitary predicate multimodal logics

DOI10.1305/ndjfl/1022615613zbMath1007.03016OpenAlexW2029901232MaRDI QIDQ701294

Yoshihito Tanaka

Publication date: 27 March 2003

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1022615613

zbMATH Keywords

infinitary predicate modal logicsKripke completenessrepresentation of modal algebras

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25)

Related Items (7)

An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics ⋮ An infinitary extension of Jankov's theorem ⋮ Some Remarks on the Proof-Theory and the Semantics of Infinitary Modal Logic ⋮ Kripke completeness of infinitary predicate multimodal logics ⋮ SMALL INFINITARY EPISTEMIC LOGICS ⋮ A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers ⋮ On the proof theory of infinitary modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kripke completeness of infinitary predicate multimodal logics
• Infinitary propositional normal modal logic
• Large infinitary languages. Model theory
• Game logic and its applications. II
• The structure of lattices of subframe logics
• Game logic and its applications. I
• Infinitary intuitionistic logic from a classical point of view
• A logic stronger than intuitionism
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• An interpolation theorem for denumerably long formulas
• A proof of the completeness theorem of Grödel
• Algebraische und logistische Untersuchungen über freie Verbände
• Boolean Algebras with Operators. Part I

This page was built for publication: Kripke completeness of infinitary predicate multimodal logics