Elimination of loop-check for logic of idealized knowledge

Aida Pliuškevičienė

doi:10.15388/LMR.2009.46

Straipsniai

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Publikuota 2009-12-20

https://doi.org/10.15388/LMR.2009.46

PDF

Reikšminiai žodžiai

modalumo logikos
sekvencinis skaiČiavimas
išvedimo baigtinumas
ciklų tikrinimas
indeksavimas

Kaip cituoti

Pliuškevičienė, A. (2009) “Ciklų tikrinimo eliminavimas idealaus žinojimo logikai”, Lietuvos matematikos rinkinys, 50(proc. LMS), pp. 258–263. doi:10.15388/LMR.2009.46.

Atsisiųsti citatą

Santrauka

Pateiktas korektiškas ir pilnas sekvencinis skaičiavimas idealaus žinojimo logikai. Naudojant sukonstuotą skaičiavimą gaunama neturinti ciklų išprendžiamoji procedųra. Vietoje istorijų sąvokos įrodymų baigtinumo tikrinimui naudojami indeksai ir žymės.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

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 , Aida Pliuškevičienė, Indeksų ir žymių metodas tiesinei modalumo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
Aida Pliuškevičienė, Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai , Lietuvos matematikos rinkinys: T 48 (2008)
Aida Pliuškevičienė, Įrodymų specializacija modalumo logikai S5 , Lietuvos matematikos rinkinys: T 46 (2006)
Aida Pliuškevičienė, Išsprendžiamoji procedūra išplėstam minisferiniam FTL su lygybe fragmentui , Lietuvos matematikos rinkinys: T 43 (2003)
Aida Pliuškevičienė, Išsprendžiamoji procedūra KD4 ir PDL logikų apjungimui , Lietuvos matematikos rinkinys: T 44 (2004)
Aida Pliuškevičienė, Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui , Lietuvos matematikos rinkinys: T 42 (2002)
Aida Pliuškevičienė, Išsprendžiamoji procedūra dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T 41 (2001)