On Kripke completeness of modal predicate logics around quantified \textbf{K5}

DOI10.1016/J.APAL.2022.103202OpenAlexW4306181908MaRDI QIDQ2105091FDOQ2105091

Authors Valentin Shehtman

Publication date 8 December 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2022.103202

zbMATH Keywords

canonical modelmodal predicate logicKripke completenessKripke bundleKripke sheaf

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic with extra quantifiers and operators (03C80) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 810109
• scientific article; zbMATH DE number 1735876
• Some incompletable modal predicate logics
• Kripke completeness of infinitary predicate multimodal logics
• On some Kripke complete and Kripke incomplete intermediate predicate logics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1735876 (Why is no real title available?)
• scientific article; zbMATH DE number 755666 (Why is no real title available?)
• scientific article; zbMATH DE number 912318 (Why is no real title available?)
• A completeness theorem in modal logic
• A logic characterized by the class of connected models with nested domains
• An ascending chain of S4 logics
• Directed frames
• Incompleteness results in Kripke semantics
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• On Kripke completeness of some modal predicate logics with the density axiom
• Quantification in nonclassical logic. Volume I.
• Quantified modal logics of positive rational numbers and some related systems
• Some incompletable modal predicate logics
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• The extensions of the modal logic K5

Cited in

(6)

• scientific article; zbMATH DE number 1735885 (Why is no real title available?)
• On Kripke completeness of some modal predicate logics with the density axiom
• scientific article; zbMATH DE number 810109 (Why is no real title available?)
• Kripke completeness of infinitary predicate multimodal logics
• Some incompletable modal predicate logics
• Semiproducts, products, and modal predicate logics: some examples

This page was built for publication: On Kripke completeness of modal predicate logics around quantified \textbf{K5}

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