TY  - RPRT
TI  - A Labelled Sequent Calculus for Public Announcement Logic
AU  - Hao Wu
AU  - Hans van Ditmarsch
AU  - Jinsheng Chen
PY  - 2022
UR  - https://arxiv.org/abs/2207.10262
ID  - 2207.10262
ER  -