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

Vilniaus universitetas

Regimantas Pliuškevičius

Vilniaus universitetas

Publikuota 2013-12-15

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

PDF

Kaip cituoti

Girčys, A.P. ir Pliuškevičius, R. (2013) „Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai“, Lietuvos matematikos rinkinys, 54(A), p. 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

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)
Regimantas Pliuškevičius, Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais , Lietuvos matematikos rinkinys: T 42 (2002)
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