@misc{indiciae343e5b6bf94d,
  title = {A Presheaf Semantics for Quantified Temporal Logics},
  author = {Fabio Gadducci and Davide Trotta},
  year = {2022},
  url = {https://arxiv.org/abs/2111.03855},
  note = {Source identifier: 2111.03855}
}