@misc{indiciae4727c5feb5aa,
  title = {A Labelled Sequent Calculus for Public Announcement Logic},
  author = {Hao Wu and Hans van Ditmarsch and Jinsheng Chen},
  year = {2022},
  url = {https://arxiv.org/abs/2207.10262},
  note = {Source identifier: 2207.10262}
}