a1 Centre for logic, language and computation, Victoria University of Wellington
We provide a Hilbert-style axiomatization of the logic of ‘actually’, as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.
(Received August 01 2011)