There appears to be no other way to construct an intended Kripke interpretation that yields the correct truth values for modalpropositions such as 'Bergoglio might have had children'
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