Loop-free verification of termination of derivation for a fragment of dynamic logic

Regimantas  Pliuškevičius

doi:10.15388/LMR.2008.18111

Straipsniai

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Publikuota 2008-12-21

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

PDF

Reikšminiai žodžiai

propozicinė dinaminė logika
sekvencinis skaičiavimas
ciklų tikrinimas
apverčiama taisyklė

Kaip cituoti

Pliuškevičius , R. (2008) “Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui”, Lietuvos matematikos rinkinys, 48(proc. LMS), pp. 283–287. doi:10.15388/LMR.2008.18111.

Atsisiųsti citatą

Santrauka

Straipsnyje yra nagrinėjama determinuota propozicinė dinaminė logika. Sukonstruotas beciklis sekvencinis skaičiavimas šios logikos fragmentui. Ciklų tikrinimas yra pakeičiamas tam tikro pavidalo sekvencijomis.

PDF

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

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, Laiko logikos ir modalumo logikos KD apjungimas , Lietuvos matematikos rinkinys: T 43 (2003)
Regimantas Pliuškevičius, Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai , 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