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 citatas

Anotacija

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

PDF

Nuorodos

Šis darbas apsaugotas Creative Commons priskyrimo 4.0 viešąja licencija.

Atsisiuntimai

Nėra atsisiuntimų.

Dažniausiai skaitomi to paties autoriaus (-ių) 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)
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 , 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)
Kostas Ragauskas, Adomas Birštunas, Grupavimu paremtas tiesinės teiginių laiko logikos skaičiavimas , Lietuvos matematikos rinkinys: T. 65 (2024): A serija
Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T. 46 (2006)

1 2 > >>