TY  - RPRT
TI  - On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models
AU  - Ronald de Haan
AU  - Iris van de Pol
PY  - 2020
UR  - https://arxiv.org/abs/1805.09880
ID  - 1805.09880
ER  -