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

DOI10.1016/J.APAL.2022.103202MaRDI QIDQ2105091zbMATH OpenOpenAlexFDO

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 modelKripke bundleKripke completenessKripke sheafmodal predicate logic

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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

(10)

• Completeness theorems for -fragment of first-order modal logic
• Some incompletable modal predicate logics
• scientific article; zbMATH DE number 1735885 (Why is no real title available?)
• scientific article; zbMATH DE number 810109 (Why is no real title available?)
• On Kripke completeness of some modal predicate logics with the density axiom
• Semiproducts, products, and modal predicate logics: some examples
• Finite model property in normal extensions of Euclidean quasi-Boolean modal logics
• Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
• Kripke completeness of infinitary predicate multimodal logics
• Variations on the Kripke trick

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)