Alonderis R, Pliuškevičius R, Pliuškevičienė A. Finite sequent calculi for PLTL. LMR [Internet]. 2015 Dec. 15 [cited 2024 Apr. 29];56(A):1–6. Available from: https://www.journals.vu.lt/LMR/article/view/14916