Darbe pateiktas sekvencinis skaičiavimas tiesinei laiko logikai, kuris naudoja efektyvų ciklų radimo mechanizmą. Darbe įrodyta, kad atraminės formulės cikluose visada yra modalizuotos ir nekinta. Šie apribojimai leidžia mums ciklų paieškoje apsiriboti keliomis specialiai pažymėtomis sekvencijomis. Analogiški apribojimai gali būti pritaikyti ir kitoms modalumo logikoms (visų pirma skaidaus laiko logikai).