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 (anglų)

##submission.howToCite##

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.

##submission.howToCite.downloadCitation##

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 (anglų)

##submission.license.cc.by4.footer##

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Julius Andrikonis, Regimantas Pliuškevičius, Pjūvio eliminavimas žinių logikai su sąveika , Lietuvos matematikos rinkinys: T 47 (2007)
Regimantas Pliuškevičius, Žinojimo logika su begaliniu agentų skaičiumi , Lietuvos matematikos rinkinys: T 46 (2006)
Regimantas Pliuškevičius, Laiko logikos ir modalumo logikos KD apjungimas , Lietuvos matematikos rinkinys: T 43 (2003)
Regimantas Pliuškevičius, Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai , Lietuvos matematikos rinkinys: T 44 (2004)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą , Lietuvos matematikos rinkinys: Nr. III (1999)

<< < 1 2