Combination of temporal logic with modal logic KD

Regimantas Pliuškevičius

doi:10.15388/LMR.2003.32500

Straipsniai

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Publikuota 2003-12-22

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

PDF (anglų)

##submission.howToCite##

Pliuškevičius, R. (2003) „Laiko logikos ir modalumo logikos KD apjungimas“, Lietuvos matematikos rinkinys, 43(spec.), p. 444–448. doi:10.15388/LMR.2003.32500.

##submission.howToCite.downloadCitation##

Santrauka

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.

PDF (anglų)

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

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

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
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, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T 55 (2014): A serija
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
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 > >>