A method of marks and indices for linear modal logic

Regimantas  Pliuškevičius; Aida Pliuškevičienė

doi:10.15388/LMR.2009.48

Straipsniai

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Publikuota 2009-12-20

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

PDF

Reikšminiai žodžiai

modalumo logikos
sekvencinis skaičiavimas
baigtinumas
apverčiamos taisyklės

Kaip cituoti

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.

Atsisiųsti citatą

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.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Aida Pliuškevičienė, Ciklų tikrinimo eliminavimas paskirstyto žinojimo netranzityviai logikai , Lietuvos matematikos rinkinys: T 48 (2008)
Aida Pliuškevičienė, Ciklų tikrinimo eliminavimas idealaus žinojimo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
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, Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai , Lietuvos matematikos rinkinys: T 44 (2004)
Aida Pliuškevičienė, Įrodymų specializacija modalumo logikai S5 , Lietuvos matematikos rinkinys: T 46 (2006)
Regimantas Pliuškevičius, Laiko logikos ir modalumo logikos KD apjungimas , Lietuvos matematikos rinkinys: T 43 (2003)
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)
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)

<< < 1 2 3 > >>