Two complete finitary sequent calculi for reflexive common knowledge

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

doi:10.15388/LMR.A.2013.05

Straipsniai

Aurimas Paulius Girčys

Vilnius University

Regimantas Pliuškevičius

Vilnius University

Publikuota 2013-12-15

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

PDF

Kaip cituoti

Girčys, A.P. and Pliuškevičius, R. (2013) “Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai”, Lietuvos matematikos rinkinys, 54(A), pp. 12–15. doi:10.15388/LMR.A.2013.05.

Atsisiųsti citatą

Santrauka

Straipsnyje pateikiami du pilni sekvenciniai skaičiavimai bendrojo žinojimo logikai. Pristatyta kalba
ir pilnas begalinis skaičiavimas skirtas RCL. Straipsnyje pristatyti baigtiniai skaičiavimai $RCL_I$ ir
$RCL_L$, ir įrodytas tų skaičiavimų pilnumas remiantis baigtinio skaičiavimo $RCL_\omega$ pilnumu.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

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
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T 55 (2014): 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 , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T 50 (2009)
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 > >>