Pages that link to "Item:Q1896788"
From MaRDI portal
The following pages link to Incompleteness and the Barcan formula (Q1896788):
Displaying 13 items.
- Algebraic semantics of some normal quantified modal systems with the Barcan formula (Q583191) (← links)
- Kripke completeness of infinitary predicate multimodal logics (Q701294) (← links)
- Unifying quantified modal logic (Q812104) (← links)
- Magari's theorem via the recession frame (Q1090325) (← links)
- Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster (Q1582312) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- Contingent objects and the Barcan formula (Q2432045) (← links)
- Some incompletable modal predicate logics (Q2735848) (← links)
- Formula-layered predicate modal logic (Q2924426) (← links)
- Completeness and incompleteness for anodic modal logics (Q3400790) (← links)
- Predicate Modal Logics Do Not Mix Very Well (Q4379626) (← links)
- A unified completeness theorem for quantified modal logics (Q4451729) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)