 \(\KBox\) Soundness and Completeness. \(\KBox\) is sound and complete with respect to the collection \(\sC_*\) of pointed plausibility models. That is, for each \eqref{KBox}-formula F, we have that \(\KBox\vdash F\) if and only if \(\sC_*\models F\).