A specialization of definitions in common knowledge logic

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

doi:10.15388/LMR.2011.ml05

Straipsniai

Aurimas Paulius Girčys

Vilniaus universitetas

Regimantas Pliuškevičius

Vilniaus universitetas

Publikuota 2011-12-15

https://doi.org/10.15388/LMR.2011.ml05

PDF (anglų)

Reikšminiai žodžiai

sekvencinis skaičiavimas
bendrojo žinojimo logika
ciklinės aksiomos

##submission.howToCite##

Girčys, A.P. ir Pliuškevičius, R. (2011) „Išvedimų specializacija bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 249–252. doi:10.15388/LMR.2011.ml05.

##submission.howToCite.downloadCitation##

Santrauka

Straipsnyje pateikiama ciklinių aksiomų specializacija refleksyviai bendro žinojimo logikai.

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
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 > >>