@misc{indiciaeb1fe5a0e53ea,
  title = {A Logic for Global and Local Announcements},
  author = {Francesco Belardinelli and Hans van Ditmarsch and Wiebe van der Hoek},
  year = {2017},
  doi = {10.4204/eptcs.251.3},
  url = {https://arxiv.org/abs/1707.08735},
  note = {Source identifier: 1707.08735}
}