@misc{indiciaed02b1934ffde,
  title = {Complete Intuitionistic Temporal Logics in Topological Dynamics},
  author = {Joseph Boudou and Martín Diéguez and David Fernández-Duque},
  year = {2019},
  url = {https://arxiv.org/abs/1910.00907},
  note = {Source identifier: 1910.00907}
}