Specialization of derivations in modal logic S5

Aida Pliuškevičienė

doi:10.15388/LMR.2006.30718

Straipsniai

Aida Pliuškevičienė

Institute of Mathematics and Informatics

Publikuota 2023-09-21

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

PDF

Kaip cituoti

Pliuškevičienė, A. (2023) „Įrodymų specializacija modalumo logikai S5“, Lietuvos matematikos rinkinys, 46(spec.), p. 242–246. doi:10.15388/LMR.2006.30718.

Atsisiųsti citatas

Anotacija

Pateikta korektiška ir pilna specializacija sekvenciniam skaičiavimui modalumo logikai S5. Pasiūlytas specializuotas skaičiavimas įgalina gauti išprendžiamąją procedūrą, kurios realizacijoje nėra ciklų.

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) 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ė, Ciklų tikrinimo eliminavimas idealaus žinojimo logikai , Lietuvos matematikos rinkinys: T. 50 (2009)
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 išplėstam minisferiniam FTL su lygybe fragmentui , Lietuvos matematikos rinkinys: T. 43 (2003)
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)