@misc{indiciae69931ff75ccf,
  title = {On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models},
  author = {Ronald de Haan and Iris van de Pol},
  year = {2020},
  url = {https://arxiv.org/abs/1805.09880},
  note = {Source identifier: 1805.09880}
}