Abstract
This work is a formalization of public announcement logic with countably many agents. 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.
Original language | English |
---|---|
Book series | Archive of Formal Proofs |
Volume | 2021 |
Number of pages | 11 |
ISSN | 2150-914X |
Publication status | Published - 2021 |