Beciklis sekvencinis skaičiavimas modalumo logikai K4
Straipsniai
Julius Andirkonis
Institute of Mathematics and Informatics
Publikuota 2009-12-20
https://doi.org/10.15388/LMR.2009.43
PDF

Reikšminiai žodžiai

žymiu ir indeksų metodas
K4
skaičiavimas be ciklų

Kaip cituoti

Andirkonis J. (2009) „Beciklis sekvencinis skaičiavimas modalumo logikai K4“, Lietuvos matematikos rinkinys, 50(proc. LMS), p. 241–246. doi: 10.15388/LMR.2009.43.

Santrauka

Straipsnyje pateikiamasmodalumo logikos K4 skaičiavimas be ciklų. Šis skaičiavimas yra paremtas žymių ir indeksų metodu, kuris pirmą kartąa buvo panaudotas logikai  S4.

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.