TY  - RPRT
TI  - Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEy
AU  - Christoph Benzmüller
AU  - Sebastian Reiche
PY  - 2022
DO  - 10.1093/logcom/exac029
UR  - https://arxiv.org/abs/2111.01654
ID  - 2111.01654
ER  -