Incompleteness and the Barcan formula

DOI10.1007/BF01048353MaRDI QIDQ1896788zbMATH OpenOpenAlexFDO

Authors M. J. Cresswell

Publication date 15 August 1996

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01048353

zbMATH Keywords

semanticspredicate modal logicBarcan formulacomplete propositional modal logics with incomplete predicate extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• Publication:4264381
• Incompleteness and fixed points
• Incompleteness in the finite domain
• Publication:4314073
• Publication:5700821
• Publication:4354788
• Remarks on the Incompleteness Proof
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• The Barcan formulas and necessary existence: the view from quarc
• Completeness and incompleteness of the Binet-Legendre metric

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 795162 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3402571 (Why is no real title available?)
• Directed frames
• Incompleteness results in Kripke semantics
• Magari's theorem via the recession frame
• The predicate modal logic of provability

Cited in

(20)

• Unifying quantified modal logic
• A unified completeness theorem for quantified modal logics
• Algebraic semantics of some normal quantified modal systems with the Barcan formula
• scientific article; zbMATH DE number 3887652 (Why is no real title available?)
• scientific article; zbMATH DE number 1735876 (Why is no real title available?)
• scientific article; zbMATH DE number 2024613 (Why is no real title available?)
• Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster
• Quantified modal logics: one approach to rule (almost) them all!
• scientific article; zbMATH DE number 810109 (Why is no real title available?)
• scientific article; zbMATH DE number 2149470 (Why is no real title available?)
• Partly free semantics for some Anderson-like ontological proofs
• Contingent objects and the Barcan formula
• Completeness and incompleteness for anodic modal logics
• scientific article; zbMATH DE number 1749192 (Why is no real title available?)
• Kripke completeness of infinitary predicate multimodal logics
• Some incompletable modal predicate logics
• Formula-layered predicate modal logic
• Modal frame incompleteness. An account through second order logic
• Magari's theorem via the recession frame
• scientific article; zbMATH DE number 1556961 (Why is no real title available?)

This page was built for publication: Incompleteness and the Barcan formula

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