Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai
Straipsniai
Romas Alonderis
Vilnius University
Regimantas Pliuškevičius
Vilnius University
Aida Pliuškevičienė
Vilnius University
Publikuota 2015-12-15
https://doi.org/10.15388/LMR.A.2015.01
PDF

Kaip cituoti

Alonderis R., Pliuškevičius R. ir Pliuškevičienė A. (2015) „Baigtiniai sekvenciniai skaičiavimai tiesinio laiko teiginių logikai“, Lietuvos matematikos rinkinys, 56(A), p. 1–6. doi: 10.15388/LMR.A.2015.01.

Santrauka



Straipnyje nagrinėjami du temporalinės žinių logikos sekvenciniai skaičiavimai, vienas su invariantine taisykle, o kitas su ciklinėmis aksiomomis. Įrodoma, kad šie skaičiavimai yra ekvivalentūs, korektiški ir pilni.

PDF
Kūrybinių bendrijų licencija

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

Susipažinkite su autorių teisėmis žurnalo politikoje skiltyje Autorių teisės.

Skaitomiausi šio autoriaus(ų) straipsniai

1 2 > >>