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

Institute of Mathematics and Informatics

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.), p. 481–489. doi:10.15388/LMR.2002.32981.

Atsisiųsti citatas

Anotacija

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

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) straipsniai

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
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL 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, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T. 55 (2014): A serija
Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T. 52 (2011)
Regimantas Pliuškevičius , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T. 50 (2009)
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
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 > >>