 \(\PAL\) Soundness and Completeness. \(\PAL\) is sound and complete with respect to the collection \(\sC_*\) of pointed Kripke models for which the underlying PAL-friendly theory \(\L\) is sound and complete. That is, for each \(\LPAL\)-formula F, we have that \(\PAL\vdash F\) if and only if \(\sC_*\models F\).