# A simple proof of the completeness of APAL

arXiv: https://arxiv.org/abs/1409.2612 · HTML: https://mlsanity.com/paper/1409.2612/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 9 Sep 2014.

## Built on by (most cited first, 2 of 2)

- [Anonymous Public Announcements](https://mlsanity.com/paper/2504.12546/) (2025)
- [Axiomatizing Rumsfeld Ignorance](https://mlsanity.com/paper/2507.17776/) (2025)

## Abstract (arXiv)

We provide a simple proof of the completeness of arbitrary public announcement logic APAL. The proof is an improvement over the proof found in the publication Knowable as Known after an Announcement.