@misc{W2159131252,
  author = {Hans van Ditmarsch and Wiebe van der Hoek and Barteld Kooi},
  title = {Dynamic Epistemic Logic},
  year = {2007},
  doi = {https://doi.org/10.1007/978-1-4020-5839-4}
}