Decision procedures for quantified fragments of reflexive common knowledge logic

Regimantas Pliuškevičius

doi:10.15388/LMR.2004.32076

Straipsniai

Regimantas Pliuškevičius

Institute of Mathematics and Informatics

Publikuota 2004-12-17

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

PDF

Kaip cituoti

Pliuškevičius, R. (2004) „Refleksyviosios bendro žinojimo logikos išsprendžiami kvantoriniai fragmentai“, Lietuvos matematikos rinkinys, 44(spec.), p. 530–534. doi:10.15388/LMR.2004.32076.

Atsisiųsti citatą

Santrauka

Pasiūlytos išprendžiamosios procedūros refleksyviosios bendro žinojimo logikos kvantoriniams fragmentams. Išprendžiamosios procedūros yra grindžiamos sekvenciniais skaičiavimais.

PDF

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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Aurimas Paulius Girčys, Regimantas Pliuškevičius, Išvedimų specializacija bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T 52 (2011)
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, Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais , Lietuvos matematikos rinkinys: T 42 (2002)
Jolanta Kaušilaitė , Regimantas Pliuškevičius, Apie išsprendžiamą intuicionistinės kvantorinės logikos fragmentą , Lietuvos matematikos rinkinys: Nr. III (1999)

<< < 1 2