Incompleteness results in Kripke semantics

DOI10.2307/2274697MaRDI QIDQ3984427zbMATH OpenOpenAlexFDO

Authors 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

C-setsincompletenessintermediate logicKripke completenessKripke framesKripke semanticsmodal logicnon-classical predicate logics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 810109
• scientific article; zbMATH DE number 218502
• Incompleteness Results in Kripke Bundle Semantics
• scientific article; zbMATH DE number 3639591

Cites work

• A sequence of decidable finitely axiomatizable intermediate logics with the disjunction property
• 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
• scientific article; zbMATH DE number 192841 (Why is no real title available?)
• Presheaf semantics and independence results for some non-classical first- order logics

Cited in

(29)

• Quantified extensions of canonical propositional intermediate logics
• Directed frames
• On the predicate logics of finite Kripke frames
• Completeness results for intuitionistic and modal logic in a categorical setting
• Kripke bundle semantics and C-set semantics
• Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
• Incompleteness and the Barcan formula
• Counterpart semantics at work: independence and incompleteness results in quantified modal logic
• On Kripke completeness of modal predicate logics around quantified \textbf{K5}
• Terminological reasoning is inherently intractable
• scientific article; zbMATH DE number 3837996 (Why is no real title available?)
• TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
• ON THE INCOMPLETENESS OF A DESCENDING CHAIN OF EXTENSIONS OF IMPLICATIONAL S5
• Incompleteness Results in Kripke Bundle Semantics
• scientific article; zbMATH DE number 1556961 (Why is no real title available?)
• scientific article; zbMATH DE number 218502 (Why is no real title available?)
• scientific article; zbMATH DE number 810109 (Why is no real title available?)
• scientific article; zbMATH DE number 2196603 (Why is no real title available?)
• A new version of an old modal incompleteness theorem
• Presheaf semantics and independence results for some non-classical first- order logics
• The Invariance Modality
• First-order expressivity for S5-models: Modal vs. two-sorted languages
• First-order intensional logic
• A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics
• Quantified modal logics: one approach to rule (almost) them all!
• Two-dimensional Kripke semantics i: presheaves
• Maximal Kripke-type semantics for modal and superintuitionistic predicate logics
• Modal hyperdoctrine: higher-order and non-normal extensions
• First-order classical modal logic

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

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