Actuality, quantifiers, and actuality quantifiers

DOI10.2143/LEA.232.0.3144293MaRDI QIDQ5283798zbMATH OpenFDO

Authors David R. Gilbert

Publication date 25 July 2017

zbMATH Keywords

quantified modal logicHilbert-style axiomatizationactuality quantifiers

Mathematics Subject Classification ID

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

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

Cited in

(2)

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

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)