Incompleteness and the Barcan formula

DOI10.1007/BF01048353zbMath0843.03006OpenAlexW2003342487MaRDI QIDQ1896788

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)

Related Items (2)

Partly free semantics for some Anderson-like ontological proofs ⋮ Unifying quantified modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The predicate modal logic of provability
• Magari's theorem via the recession frame
• Directed frames
• Incompleteness results in Kripke semantics

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