 The definition of truth at a world in a Kripke interpretation \(\calK\) is defined exactly as it is for an SQML interpretation \(\calM\) except for the quantified clause, where the difference between Kripke interpretations and SQML interpretations just noted comes to the fore. Specifically, when a quantified formula \(\forall\nu\varphi\) is evaluated at a world \(w,\) the quantifier ranges only over \(\textit{dom}(w),\) the set of objects in the domain of \(w\). Thus, the modal clause in the definition of truth at a world is revised as follows: