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 citatas

Anotacija

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

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
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinės sistemos PTL logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
Romas Alonderis, Regimantas Pliuškevičius, Sekvencinis skaičiavimas be pjūvio, invariantinės taisyklės ir ciklų tikrinimo tiesinio laiko teiginių logikai , Lietuvos matematikos rinkinys: T. 52 (2011)
Regimantas Pliuškevičius, Aurimas Paulius Girčys, Prisotinimo metodas bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 53 (2012): A serija
Regimantas Pliuškevičius, Žymių metodas tiesinei laiko logikai , Lietuvos matematikos rinkinys: T. 55 (2014): A serija
Julius Andrikonis, Regimantas Pliuškevičius, Dubliavimo eliminavimas modalumo logikoms S5 ir KD45 , Lietuvos matematikos rinkinys: T. 52 (2011)
Regimantas Pliuškevičius , Įrodymų baigtinumas minimaliai laiko logikai , Lietuvos matematikos rinkinys: T. 50 (2009)
Aurimas Paulius Girčys, Regimantas Pliuškevičius, Du pilni finitariniai skaičiavimai refleksyviai bendrojo žinojimo logikai , Lietuvos matematikos rinkinys: T. 54 (2013): A serija
Regimantas Pliuškevičius , Aida Pliuškevičienė, Indeksų ir žymių metodas tiesinei modalumo logikai , Lietuvos matematikos rinkinys: T. 50 (2009)
Regimantas Pliuškevičius , Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui , Lietuvos matematikos rinkinys: T. 48 (2008)

1 2 > >>