Pasiūlyta išprendžiamoji procedūra pirmos eilės tiesinio laiko logikos išplėtimo modalumo logika KD fragmentui. Pasiūlyta išprendžiamoji procedūra yra korektiška ir pilna.
Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.