Inverse method for modal logic S4

Adomas Birštunas; Stanislovas Norgėla

doi:10.15388/LMR.2003.32470

Straipsniai

Adomas Birštunas

Vilniaus universitetas

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2003-12-22

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

PDF

Kaip cituoti

Birštunas, A. ir Norgėla, S. (2003) „Atvirkštinis metodas teiginių modalumo logikai S4“, Lietuvos matematikos rinkinys, 43(spec.), p. 429–433. doi:10.15388/LMR.2003.32470.

Atsisiųsti citatą

Santrauka

Nagrinėjami du teiginių modalumo logikos S4 sekvenciniai skaičiavimai ir atitinkami atvirkštinio metodo variantai. Taikomi tam tikro pavidalo formulėms.

PDF

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

Atsisiuntimai

Nėra atsisiuntimų.

Skaitomiausi šio autoriaus(ų) straipsniai

Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Andrejus Belovas, Stanislovas Norgėla, Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms , Lietuvos matematikos rinkinys: T 45 (2005)
Stanislovas Norgėla, Kai kurios išsprendžiamos modalumo logikos S4 klasės , Lietuvos matematikos rinkinys: T 41 (2001)
Stanislovas Norgėla, Informatikos specialistų ruošimas Vilniaus universiteto matematikos ir informatikos fakultete , Lietuvos matematikos rinkinys: T 41 (2001)
Adomas Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T 46 (2006)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , Lietuvos matematikos rinkinys: T 43 (2003)
Adomas Birštunas, Efektyvi sprendimo procedūra modaliniam operatoriui Belief , Lietuvos matematikos rinkinys: T 45 (2005)
Stanislovas Norgėla, Vienos modalumo logikos S4 klasės su vienviečiais predikatiniais kintamaisiais išsprendžiamumas , Lietuvos matematikos rinkinys: T 42 (2002)
Stanislovas Norgėla, Rezoliucijų metodas vienai modalumo logikos S4 klasei , Lietuvos matematikos rinkinys: T 44 (2004)

<< < 1 2