 \(\PALC\) Soundness and Completeness (Baltag, Moss, and Solecki 1998, 1999; see also van Ditmarsch, van der Hoek, and Kooi 2007). \(\PALC\) is sound and complete with respect to the collection \(\sC_*\) of pointed Kripke models for which the underlying public announcement logic \(\PAL\) is sound and complete. That is, for each \eqref{PAL+C}-formula F, we have that \(\PALC\vdash F\) if and only if \(\sC_*\models F\).