Kamide N, Negri S. Unified Sequent Calculi and Natural Deduction Systems for Until-free Linear-time Temporal Logics. B Sect Log [Internet]. 2025 Nov. 27 [cited 2025 Dec. 6];54(2):227-82. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/24474