@misc{indiciae3fad33167c47,
  title = {Exploring the Jungle of Intuitionistic Temporal Logics},
  author = {Joseph Boudou and Martín Diéguez and David Fernández-Duque and Philip Kremer},
  year = {2021},
  doi = {10.1017/s1471068421000089},
  url = {https://arxiv.org/abs/1912.12895},
  note = {Source identifier: 1912.12895}
}