Incompleteness results in Kripke semantics

DOI10.2307/2274697zbMath0745.03020OpenAlexW2130098903MaRDI QIDQ3984427

Silvio Ghilardi

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274697

zbMATH Keywords

modal logicKripke semanticsKripke framesincompletenessintermediate logicKripke completenessC-setsnon-classical predicate logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Intermediate logics (03B55)

Related Items (max. 100)

The Invariance Modality ⋮ On the predicate logics of finite Kripke frames ⋮ Completeness results for intuitionistic and modal logic in a categorical setting ⋮ Incompleteness and the Barcan formula ⋮ First-order classical modal logic ⋮ First-order intensional logic ⋮ A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics ⋮ Maximal Kripke-type semantics for modal and superintuitionistic predicate logics ⋮ Quantified extensions of canonical propositional intermediate logics ⋮ TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC ⋮ Presheaf semantics and independence results for some non-classical first- order logics ⋮ First-order expressivity for S5-models: Modal vs. two-sorted languages ⋮ Directed frames ⋮ 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
• Presheaf semantics and independence results for some non-classical first- order logics
• Categorical algebra and its applications. Proceedings of a conference (first Louvain-la-Neuve conference on categorical algebra), held in Louvain-la-Neuve, Belgium, July 26-August 1, 1987
• Directed frames
• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property

This page was built for publication: Incompleteness results in Kripke semantics