Maksimiak, L. and Birštunas, A. 2025. Loop-check free sequent calculi for unary fragment of temporal logic. Lietuvos matematikos rinkinys. 66, A (Dec. 2025), 1–10. DOI:https://doi.org/10.15388/LMR.2025.44491.