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 (Anglų)

Kaip cituoti

Pliuškevičius, R. and Girčys, A.P. (2012) “Prisotinimo metodas bendrojo žinojimo logikai”, Lietuvos matematikos rinkinys, 53(A), pp. 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 (Anglų)

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 > >>