Saturation method for reflexive common knowledge logic

Regimantas Pliuškevičius; Aurimas Paulius Girčys

doi:10.15388/LMR.A.2012.19

Straipsniai

Regimantas Pliuškevičius

Vilniaus universitetas

Aurimas Paulius Girčys

Vilniaus universitetas

Publikuota 2012-12-15

https://doi.org/10.15388/LMR.A.2012.19

PDF (anglų)

##submission.howToCite##

Pliuškevičius, R. ir Girčys, A.P. (2012) „Prisotinimo metodas bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 53(A), p. 108–111. doi:10.15388/LMR.A.2012.19.

##submission.howToCite.downloadCitation##

Santrauka

Straipsnyje pateikiamas prisotinimo metodo naudojimas bendrojo žinojimo logikoje siekiant patikrinti ciklinius sekventus refleksyviojoje bendrojo žinojimo logikoje. Tradcininio požiūrio tailymas leidžia daryti prielaidą, kad bendrojo žinojimo operatorius apibrėžiamas naudojant indukcines aksiomas ir reikalauja ciklinių

PDF (anglų)

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
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)
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 52 (2011)

1 2 > >>