Inverse method for modal logic S4

Adomas Birštunas; Stanislovas Norgėla

doi:10.15388/LMR.2003.32470

Straipsniai

Adomas Birštunas

Vilnius University

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2003-12-22

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

PDF

Kaip cituoti

Birštunas, A. and Norgėla, S. (2003) “Atvirkštinis metodas teiginių modalumo logikai S4”, Lietuvos matematikos rinkinys, 43(spec.), pp. 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

Adomas Birštunas, Elena Reivytytė, Loginio išvedimo paieška su prielaidų atsekamumu , Lietuvos matematikos rinkinys: T 62 (2021): A serija
Stanislovas Norgėla, Apie grynosios hibridinės logikos išsprendžiamumą , Lietuvos matematikos rinkinys: T 53 (2012): A serija
Stanislovas Norgėla, Rezoliucijų metodas hibridinėms logikoms , Lietuvos matematikos rinkinys: T 52 (2011)
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime , Lietuvos matematikos rinkinys: T 48 (2008)
Stanislovas Norgėla, Linas Petrauskas, Hibridinės logikos formulių transformavimas , Lietuvos matematikos rinkinys: T 51 (2010)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Išvedimo paieška Hibridinėje logikoje , Lietuvos matematikos rinkinys: T 48 (2008)
Adomas Birštunas, Apribojimai ciklų radimui sekvenciniame laiko logikos skaičiavime su until operatoriumi , Lietuvos matematikos rinkinys: T 50 (2009)
Adomas Birštunas, Efektyvus ciklų radimas multimodalinei KD45n logikai , Lietuvos matematikos rinkinys: T 47 (2007)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Hibridinės logikos formulių normalioji forma , Lietuvos matematikos rinkinys: T 47 (2007)
Adomas Birstunas, Sekvencinio skaičiavimo panaudojimas BDI agentų realizavimui , Lietuvos matematikos rinkinys: T 46 (2006)

1 2 > >>