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

DOI10.1016/j.apal.2022.103202OpenAlexW4306181908MaRDI QIDQ2105091

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

modal predicate logiccanonical modelKripke completenessKripke bundleKripke sheaf

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)

Related Items (1)

Semiproducts, products, and modal predicate logics: some examples

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Quantification in nonclassical logic. Volume I.
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• A logic characterized by the class of connected models with nested domains
• Directed frames
• Quantified modal logics of positive rational numbers and some related systems
• A completeness theorem in modal logic
• The extensions of the modal logic K5
• Incompleteness results in Kripke semantics
• An ascending chain of S4 logics

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