Prisotinimo metodas bendrojo žinojimo logikai
Straipsniai
Regimantas Pliuškevičius
Vilnius University
Aurimas Paulius Girčys
Vilnius University
Publikuota 2012-12-15
https://doi.org/10.15388/LMR.A.2012.19
PDF

Kaip cituoti

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.

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
Kūrybinių bendrijų licencija

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.