Kripke completeness of infinitary predicate multimodal logics

DOI10.1305/NDJFL/1022615613zbMATHOpenAlexMaRDI QIDQ701294FDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3484051 (Why is no real title available?)
• scientific article; zbMATH DE number 3494368 (Why is no real title available?)
• scientific article; zbMATH DE number 1735885 (Why is no real title available?)
• scientific article; zbMATH DE number 3206304 (Why is no real title available?)
• scientific article; zbMATH DE number 3392414 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A logic stronger than intuitionism
• A proof of the completeness theorem of Grödel
• Algebraische und logistische Untersuchungen über freie Verbände
• An Infinitary Graded Modal Logic (Graded Modalities VI)
• An interpolation theorem for denumerably long formulas
• Boolean Algebras with Operators. Part I
• Game logic and its applications. I
• Game logic and its applications. II
• Infinitary intuitionistic logic from a classical point of view
• Infinitary propositional normal modal logic
• Kripke completeness of infinitary predicate multimodal logics
• Large infinitary languages. Model theory
• The structure of lattices of subframe logics

Cited in

(17)

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

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)