The falsity of a sentence within a formal system does not entail the non-existence of the entities to which the interpretation is committed at the metalinguistic level

On the face of it, KQML provides the actualist with a powerful alternative to SQML. However, one might well question its actualist credentials. Specifically, despite the invalidity of the actualistically objectionable principles BF, CBF, and \(\Box\textbf{N},\) it is questionable whether KQML has escaped ontological commitment to possibilia, for the following reason. KQML provides us with a formal semantics for (constant-free) modal languages \(\scrL_\Box\) and, in particular, an account of how