@misc{indiciae42d717c36bb7,
  title = {Dynamic Logic of Common Knowledge in a Proof Assistant},
  author = {Pierre Lescanne and Jérôme Puisségur},
  year = {2007},
  url = {https://arxiv.org/abs/0712.3146},
  note = {Source identifier: 0712.3146}
}