Kamide, N. and Negri, S. (2025) “Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics”, Bulletin of the Section of Logic, 54(2), pp. 227–282. doi: 10.18778/0138-0680.2025.09.