@misc{indiciae379e6047b37b,
  title = {A sound and complete axiomatization for Dynamic Topological Logic},
  author = {David Fernández Duque},
  year = {2012},
  url = {https://arxiv.org/abs/1201.5162},
  note = {Source identifier: 1201.5162}
}