 \(\EAL\) Soundness and Completeness (Baltag, Moss, and Solecki 1998, 1999; see also Baltag and Moss 2004). \(\EAL\) is sound and complete with respect to the collection \(\sC_*\) of pointed Kripke models for which the underlying action-friendly logic \(\L\) is sound and complete. That is, for each \(\LEAL\)-formula F, we have that \(\EAL\vdash F\) if and only if \(\sC_*\models F\).