Maximal Kripke-type semantics for modal and superintuitionistic predicate logics

DOI10.1016/0168-0072(93)90210-5zbMath0794.03028OpenAlexW2041930157MaRDI QIDQ688796

Valentin Shehtman, Dimitrij Skvortsov

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

Kripke semanticsmodal logicsintermediate logicsmodal predicate logiccompleteness theoremsintermediate predicate logicKripke metaframes

Mathematics Subject Classification ID

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

Related Items (6)

First-order intensional logic ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS ⋮ Counterpart semantics at work: independence and incompleteness results in quantified modal logic ⋮ On Kripke completeness of modal predicate logics around quantified \textbf{K5}

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Presheaf semantics and independence results for some non-classical first- order logics
• Topology and duality in modal logic
• Semantical investigations in Heyting's intuitionistic logic
• Quantified extensions of canonical propositional intermediate logics
• Directed frames
• Logics containing K4. Part II
• Incompleteness results in Kripke semantics

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