Public Announcement Logic

Asta Halkjær From 🌐

June 17, 2021

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


This work is a formalization of public announcement logic. It includes proofs of soundness and completeness for a variant of the axiom system PA + DIST! + NEC!. The completeness proof builds on the Epistemic Logic theory. Paper:


BSD License


Session Public_Announcement_Logic