Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku
Straipsniai
Jūratė Sakalauskaitė
Vilniaus universitetas
Publikuota 2011-12-15
https://doi.org/10.15388/LMR.2011.ml07
PDF

Reikšminiai žodžiai

modalumų logika
laiko logika
sekvencinis skaičiavimas
pjūvis

Kaip cituoti

Sakalauskaitė J. (2011) „Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku“, Lietuvos matematikos rinkinys, 52(proc. LMS), p. 257–261. doi: 10.15388/LMR.2011.ml07.

Santrauka

Pateikiami sekvenciniai skaičiavimai daugiamodalumų logikų ir praeities laiko logikos junginiams. Įrodomas šių skaičiavimų pilnumas su apribota pjūvio taisykle. Kaip išvada plaukia šių junginių išsprendžiamumas.

 

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.