Actuality, Quantifiers and Actuality Quantifiers

David R. Gilbert


This paper extends Hazen’s [11] work on actuality quantifiers. We present a sound and complete Hilbert-style axiomatization of the logic of actuality quantifiers. This logic is based on a quantified modal logic with actuality that allows for worlds to have completely empty domains.


  • There are currently no refbacks.