@misc{indiciaeee515c3d03ad,
  title = {Non-finite axiomatizability of Dynamic Topological Logic},
  author = {David Fernández-Duque},
  year = {2012},
  url = {https://arxiv.org/abs/1207.5140},
  note = {Source identifier: 1207.5140}
}