Possibility semantics

MaRDI QIDQ5883183zbMATH OpenFDO

Authors Wesley H. Holliday

Publication date 29 March 2023

zbMATH Keywords

axiom of choiceBoolean algebracanonical extensionfirst-order logicforcingHeyting algebrainquisitive logicintuitionistic logicKripke frameMacNeille completionmodal logicpossible world semanticsprovability logicregular open algebraStone duality

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Lattices and duality (06D50)

Recommendations

• scientific article; zbMATH DE number 2121570
• A bimodal perspective on possibility semantics
• From modal discourse to possible worlds
• Partiality and adjointness in modal logic
• Modalities without worlds

Cited in

(9)

• scientific article; zbMATH DE number 7585714 (Why is no real title available?)
• FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS
• Positive modal logic beyond distributivity
• Mathematical modality: an investigation in higher-order logic
• The orthologic of epistemic modals
• Propositional logic and modal logic -- a connection via relational semantics
• Relational patterns, partiality, and set lifting in modal semantics
• A partial-state space model of unawareness
• Equivalence and theory expansion

This page was built for publication: Possibility semantics

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