Decision procedure for a combination of logics KD4 and PDL

Aida Pliuškevičienė

doi:10.15388/LMR.2004.32074

Straipsniai

Aida Pliuškevičienė

Matematikos ir informatikos institutas

Publikuota 2004-12-17

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

PDF

Kaip cituoti

Pliuškevičienė, A. (2004) “Išsprendžiamoji procedūra KD4 ir PDL logikų apjungimui”, Lietuvos matematikos rinkinys, 44(spec.), pp. 525–529. doi:10.15388/LMR.2004.32074.

Atsisiųsti citatą

Santrauka

Pasiūlyta dedukcija pagrįsta išprendžiamoji procedūra modalinės logikos KD4 ir propozicinės dinaminės logikos PDL apjungimui. Pasiūlyta išprendžiamoji procedūra yra korektiška ir pilna.

PDF

Šis kūrinys yra platinamas pagal Kūrybinių bendrijų Priskyrimas 4.0 tarptautinę licenciją.

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ė, Ciklų tikrinimo eliminavimas idealaus žinojimo logikai , Lietuvos matematikos rinkinys: T 50 (2009)
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 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)