Resolution method for some class of formulas of modal logic S4

Stanislovas  Norgėla

doi:10.15388/LMR.2004.32028

Straipsniai

Stanislovas Norgėla

Vilniaus universitetas

Publikuota 2004-12-17

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

PDF (anglų)

##submission.howToCite##

Norgėla, S. (2004) „Rezoliucijų metodas vienai modalumo logikos S4 klasei“, Lietuvos matematikos rinkinys, 44(spec.), p. 521–524. doi:10.15388/LMR.2004.32028.

##submission.howToCite.downloadCitation##

Santrauka

Nagrinėjamos kvantorinės modalumo logikos formulės pavidalo

∀^*□ⁱ∀^*∃^*(A₁ ⋁⋯ ⋁ A_s ∨ □ B₁ ⋁ ⋯ ⋁ □ B_u v ◊C₁ ⋁ ⋯ ⋁ ◊ C_v).

Čia A_i , B_i, C_iyra klasikinės logikos literos. Tokio pavidalo formulėms aprašytas rezoliucijų metodas modalumo logikoje S4. Be to, aprašytas išvedamų disjunktų pavidalas.

PDF (anglų)

##submission.license.cc.by4.footer##

Atsisiuntimai

Nėra atsisiuntimų.

##plugins.generic.recommendByAuthor.heading##

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)
Daiva Aleknavičiūtė, Stanislovas Norgėla, Hibridinės logikos formulių normalioji forma , Lietuvos matematikos rinkinys: T 47 (2007)
Stanislovas Norgėla, Anželika Šalaviejienė, Sekvencinis skaičiavimas hibridinei logikai , Lietuvos matematikos rinkinys: T 46 (2006)
Adomas Birštunas, Stanislovas Norgėla, Atvirkštinis metodas teiginių modalumo logikai S4 , Lietuvos matematikos rinkinys: T 43 (2003)
Andrejus Belovas, Stanislovas Norgėla, Sekvencinis skaičiavimas Sk4 skulemizuotoms formulėms , Lietuvos matematikos rinkinys: T 45 (2005)
Stanislovas Norgėla, Informatikos specialistų ruošimas Vilniaus universiteto matematikos ir informatikos fakultete , Lietuvos matematikos rinkinys: T 41 (2001)
Stanislovas Norgėla, Herbrand skleidinys vienai modalumo logikos S4 formulių klasei , Lietuvos matematikos rinkinys: T 43 (2003)

1 2 > >>