Kamide N, Negri S. Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics. B Sect Log. 2025;54(2):227-282. doi:10.18778/0138-0680.2025.09