Axioms for actuality (Q792998)

In this paper I present the model-theoretic semantics for modal languages with an actuality operator; I axiomatize the valid and the strongly valid formulae of any such language. I then prove that certain conditions on modal models which are easily expressed using quantification over possibilia cannot be expressed in quantified modal languages containing the actuality operator in addition to the usual necessity operator.