Kamide, N., & 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), 227–282. https://doi.org/10.18778/0138-0680.2025.09