On Kripke completeness of modal predicate logics around quantified \textbf{K5}
type: Item
instance of: scholarly article
title: On Kripke completeness of modal predicate logics around quantified \textbf{K5}
published in: Annals of Pure and Applied Logic
publication date: 2022-12-08T00:00:00Z
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03C80
Mathematics Subject Classification ID: 18F20
zbMATH DE Number: 7628764
zbMATH Keywords: modal predicate logic
zbMATH Keywords: Kripke completeness
zbMATH Keywords: Kripke sheaf
zbMATH Keywords: Kripke bundle
zbMATH Keywords: canonical model
author: Valentin Shehtman
MaRDI profile type: MaRDI publication profile
full work available at URL: j.apal.2022.103202
OpenAlex ID: W4306181908
cites work: Q3128959
cites work: A logic characterized by the class of connected models with nested domains
cites work: Quantified modal logics of positive rational numbers and some related systems
cites work: Directed frames
cites work: Some incompletable modal predicate logics
cites work: Q4329237
cites work: An ascending chain of S4 logics
cites work: Quantification in nonclassical logic. Volume I.
cites work: Incompleteness results in Kripke semantics
cites work: Q4698331
cites work: A completeness theorem in modal logic
cites work: The extensions of the modal logic K5
cites work: Q5224587
cites work: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
cites work: Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
cites work: Q4887107
DOI: 10.1016/J.APAL.2022.103202
description: scientific article; zbMATH DE number 7628764