Decision procedure for first-order linear temporal logic with semi-periodic kemels

Regimantas Pliuškevičius

doi:10.15388/LMR.2002.32981

Straipsniai

Regimantas Pliuškevičius

Matematikos ir informatikos instititas

Publikuota 2002-12-20

https://doi.org/10.15388/LMR.2002.32981

PDF

Kaip cituoti

Pliuškevičius, R. (2002) “Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais”, Lietuvos matematikos rinkinys, 42(spec.), pp. 481–489. doi:10.15388/LMR.2002.32981.

Atsisiųsti citatą

Santrauka

Pateikiamas apibendrinimas ankstesnių autoriaus darbų apie išsprendžiamąją procedūrą kvantorinės tiesinio laiko logikos fragmentui su periodiniais branduoliais. Remiantis šiais rezultatais pateikiama išsprendžiamoji procedūra minėtos logikos fragmentui su pusiau-periodiniais branduoliais.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T 54 (2013): A serija
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė, Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 56 (2015): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T 55 (2014): A serija
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 54 (2013): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Regimantas Pliuškevičius , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T 52 (2011)
Regimantas Pliuškevičius , Aida Pliuškevičienė, Indeksų ir žymių metodas tiesinei modalumo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Regimantas Pliuškevičius , Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T 48 (2008)

1 2 > >>