 Dynamic epistemic logics extend the language of non-dynamic epistemic logics with dynamic operators. In particular, public announcement logic (PAL) extends the language of epistemic logics with the dynamic announcement operator [\(\phi\)], where [\(\phi]\psi\) is read “after announcement \(\phi\), it is the case that \(\psi\)”. The key reduction axioms of PAL are as follows: 