TY  - RPRT
TI  - No Finite Model Property for Logics of Quantified Announcements
AU  - Hans van Ditmarsch
AU  - Tim French
AU  - Rustam Galimullin
PY  - 2021
DO  - 10.4204/eptcs.335.12
UR  - https://arxiv.org/abs/2106.11498
ID  - 2106.11498
ER  -