The ontological commitments of the KQML interpretation so constructed are identical to those of the original SQML interpretation, which includes merely possible individuals

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