Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

DOI10.1016/0168-0072(93)90210-5MaRDI QIDQ688796zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3821696 (Why is no real title available?)
• scientific article; zbMATH DE number 4041866 (Why is no real title available?)
• scientific article; zbMATH DE number 3499717 (Why is no real title available?)
• scientific article; zbMATH DE number 218502 (Why is no real title available?)
• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• Directed frames
• Incompleteness results in Kripke semantics
• Logics containing K4. Part II
• Presheaf semantics and independence results for some non-classical first- order logics
• Quantified extensions of canonical propositional intermediate logics
• Semantical investigations in Heyting's intuitionistic logic
• Topology and duality in modal logic

Cited in

(17)

• scientific article; zbMATH DE number 2019849 (Why is no real title available?)
• First-order intensional logic
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Semantical analysis of superrelevant predicate logics with quantification
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• The weak logic of modal metaframes
• Generalized Kripke frames
• scientific article; zbMATH DE number 218502 (Why is no real title available?)
• Quantified modal logics: one approach to rule (almost) them all!
• Presheaf semantics and independence results for some non-classical first- order logics
• scientific article; zbMATH DE number 1989658 (Why is no real title available?)
• 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
• scientific article; zbMATH DE number 937394 (Why is no real title available?)
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic

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)