TY  - RPRT
TI  - The proof theory and semantics of second-order (intuitionistic) tense logic
AU  - Justus Becker
AU  - Anupam Das
AU  - Sonia Marin
AU  - Paaras Padhiar
PY  - 2026
UR  - https://arxiv.org/abs/2602.06253
ID  - 2602.06253
ER  -