TY  - RPRT
TI  - Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is $Σ^1_1$-hard
AU  - Rustam Galimullin
AU  - Louwe B. Kuijer
PY  - 2023
DO  - 10.4204/eptcs.379.21
UR  - https://arxiv.org/abs/2307.05060
ID  - 2307.05060
ER  -