Kripke completeness of infinitary predicate multimodal logics

DOI10.1305/NDJFL/1022615613zbMATH Open1007.03016OpenAlexW2029901232MaRDI QIDQ701294FDOQ701294

Authors: 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

Recommendations

• scientific article; zbMATH DE number 1735885
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Some incompletable modal predicate logics
• Incompleteness and the Barcan formula

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)

Cites Work

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

Cited In (17)

• Title not available (Why is that?)
• On Kripke completeness of some modal predicate logics with the density axiom
• Kripke incomplete logics containing KTB
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Kripke completeness of infinitary predicate multimodal logics
• Small infinitary epistemic logics
• Infinitary propositional normal modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• An infinitary extension of Jankov's theorem
• Title not available (Why is that?)
• An extension of Jónsson‐Tarski representation and model existence in predicate non‐normal modal logics
• A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
• On some Kripke complete and Kripke incomplete intermediate predicate logics
• On the proof theory of infinitary modal logic
• Independence proofs in predicate logic with infinitely long expressions
• Some remarks on the proof-theory and the semantics of infinitary modal logic

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

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