Prefixed tableaux for multi-modal logic of knowledge with inclusions

Jūratė Sakalauskaitė

doi:10.15388/LMR.2003.32506

Straipsniai

Jūratė Sakalauskaitė

Matematikos ir informatikos institutas

Publikuota 2003-12-22

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

PDF

Kaip cituoti

Sakalauskaitė, J. (2003) “Semantinės lentelės su prefiksais žinojimo logikos praplėtimui”, Lietuvos matematikos rinkinys, 43(spec.), pp. 449–453. doi:10.15388/LMR.2003.32506.

Atsisiųsti citatą

Santrauka

Darbe pateikiamas semantinių lentelių su prefiksais skaičiavimas daugelio modalumų žinojimo logikos tam tikram praplėtimui. Įrodomas šio skaičiavimo neprieštaringumas bei pilnumas.

PDF

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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Haroldas Giedra, Jūratė Sakalauskaitė, Sekvencinis skaičiavimas koreliatyvių žinių logikai , Lietuvos matematikos rinkinys: T 52 (2011)
Jūratė Sakalauskaitė, Dalinis pjūvio pašalinimas teiginių diskretinei laiko logikai , Lietuvos matematikos rinkinys: T 51 (2010)
Jūratė Sakalauskaitė, Dalinis pjūvio eliminavimas daugiamodalumų logikų junginiams su praeities laiku , Lietuvos matematikos rinkinys: T 52 (2011)
Jūratė Sakalauskaitė, Lentelės daugiareikšmėms modalinėms propozicinėms logikoms , Lietuvos matematikos rinkinys: Nr. II (1998)
Jūratė Sakalauskaitė, Prefiksinės lentelės trireikšmėms modalinėms propozicinėms logikoms , Lietuvos matematikos rinkinys: 1997: Proc. of the Lithuanian Mathematical Society