@misc{indiciaec02d3420437b,
  title = {The proof theory and semantics of second-order (intuitionistic) tense logic},
  author = {Justus Becker and Anupam Das and Sonia Marin and Paaras Padhiar},
  year = {2026},
  url = {https://arxiv.org/abs/2602.06253},
  note = {Source identifier: 2602.06253}
}