scientific article; zbMATH DE number 218502
From MaRDI portal
zbMath0788.03022MaRDI QIDQ4694215
Valentin Shehtman, Dimitrij Skvortsov
Publication date: 29 June 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algebraic semanticspresheafnormal modal logicstopological semanticsBarcan formulaKripke-type semanticsKripke bundlepredicate modal logicsKripke sheafHeyting-valued structureKripke frame with equalitypredicate superintuitionistic logicstopo-Boolean-valued structure
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intermediate logics (03B55)
Related Items
On the predicate logics of finite Kripke frames, Constructing a continuum of predicate extensions of each intermediate propositional logic, A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, Incompleteness Results in Kripke Bundle Semantics, Predicate Modal Logics Do Not Mix Very Well, Maximal Kripke-type semantics for modal and superintuitionistic predicate logics, Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics, TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC, Neighborhood-Sheaf Semantics for First-Order Modal Logic, On the predicate logic of linear Kripke frames and some of its extensions