Pateikta korektiška ir pilna specializacija sekvenciniam skaičiavimui modalumo logikai S5. Pasiūlytas specializuotas skaičiavimas įgalina gauti išprendžiamąją procedūrą, kurios realizacijoje nėra ciklų.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.