Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

DOI10.1016/0168-0072(93)90210-5zbMATH Open0794.03028OpenAlexW2041930157MaRDI QIDQ688796FDOQ688796

Authors: Dmitrij Skvortsov, Valentin Shehtman 

Publication date: 28 August 1994

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(93)90210-5

Recommendations

• scientific article; zbMATH DE number 218502
• Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas
• scientific article; zbMATH DE number 2019849
• scientific article; zbMATH DE number 759444
• On the predicate logic of linear Kripke frames and some of its extensions

zbMATH Keywords

modal logicsKripke semanticsintermediate logicscompleteness theoremsintermediate predicate logicKripke metaframesmodal predicate logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other model constructions (03C30) Intermediate logics (03B55) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Title not available (Why is that?)
• Logics containing K4. Part II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topology and duality in modal logic
• Title not available (Why is that?)
• Directed frames
• Title not available (Why is that?)
• Presheaf semantics and independence results for some non-classical first- order logics
• Incompleteness results in Kripke semantics
• Quantified extensions of canonical propositional intermediate logics

Cited In (17)

• First-order intensional logic
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• Semantical analysis of superrelevant predicate logics with quantification
• The weak logic of modal metaframes
• Generalized Kripke frames
• Title not available (Why is that?)
• Quantified modal logics: one approach to rule (almost) them all!
• Presheaf semantics and independence results for some non-classical first- order logics
• Title not available (Why is that?)
• Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• Algebraic Kripke sheaf semantics for non-classical predicate logics
• Title not available (Why is that?)
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• Title not available (Why is that?)

This page was built for publication: Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688796)