Pateikiami Gentzeno tipo sekvenciniai skaičiavimai teiginių tiesinio laiko logikai su ateities ir praeities laiko operatoriais. Šiuose skaičiavimuose pjūvio formulės priklauso baigtinei formulių aibei. Įrodomas šių skaičiavimų korektiškumas ir pilnumas.