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

DOI10.1016/J.APAL.2022.103202OpenAlexW4306181908MaRDI QIDQ2105091FDOQ2105091

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)

Cites Work

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

Cited In (1)

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