Pliuškevičius , R. and Pliuškevičienė, A. (2009) “Indeksų ir žymių metodas tiesinei modalumo logikai”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 269–274. doi:10.15388/LMR.2009.48.
Indeksų ir žymių metodas tiesinei modalumo logikai
Santrauka
Straipsnyje yra pateikiamas indeksų ir žymių metodas tiesinei modalumo logikai. Šis metodas išplečia autorių pasiūlytą metodą modalumo logikai S4. Metodo esmė – įrodymu baigtinumo tikrinimas nenaudojant istorijų sąvokos.
