Actuality, quantifiers, and actuality quantifiers

DOI10.2143/LEA.232.0.3144293zbMATH Open1371.03024MaRDI QIDQ5283798FDOQ5283798

Authors: David R. Gilbert 

Publication date: 25 July 2017

Recommendations

• Actuality and quantification
• Axioms for actuality
• Completeness results for some two-dimensional logics of actuality
• Actualism, serious actualism, and quantified modal logic
• Actuality in propositional modal logic

zbMATH Keywords

quantified modal logicHilbert-style axiomatizationactuality quantifiers

Mathematics Subject Classification ID

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

Cited In (2)

• Actuality and quantification
• On the expressive power of first-order modal logic with two-dimensional operators

This page was built for publication: Actuality, quantifiers, and actuality quantifiers

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