-
S.Norgėla, L.Skripkauskas. Theorem prover for temporal logic S4Dio,
2005. s4d.zip
-
S.Norgėla. A path calculus for modal
logic S4, Lithuanian Mathematical Journal, 2005, 45 (1), p. 94-101.
-
S.Norgėla.
Rezoliucujų metodas vienai modalumo logikos S4 redukcijos klasei. (Resolution
for one reduction class of formulas of modal logic S4), Lithuanian
Mathematical Journal, 2004, 44, Nr.4, p. 481-492.
-
S.Norgėla. Resolution method for some class of formulas of modal
logic S4, Lithuanian Mathematical Journal, 2004, 44 (spec. issue), p.
521-524.
-
S.Norgėla. Matematinė logika, TEV, Vilnius, 192 p. (2004). turinys.pdf
-
A.Birštunas, S.
Norgėla. Inverse method for modal logic S4, Lithuanian
Mathematical Journal, 43 (spec. issue 3-10),
p.429-433 (2003). konf03a.pdf
-
S.Norgėla. Herbrand expansions of some formulas of modal logic S4, Lithuanian
Mathematical Journal, 43 (spec. issue 3-10), p. 434-437 (2003). konf03b.pdf
-
S.Norgėla. Matematinė logika
(vadovėlis, 2003) ivadas.pdf, 1skyrius.pdf,
2skyrius.pdf, 3skyrius.pdf
-
S.Norgela, One calculus of
nonderivable formulas of propositional modal logic , Liet. matem. rink.,
43, No 1, p. 65-79 (2003).
-
S.Norgela, Decidability of a
monadic subclass of modal logic S4 , Lithuanian Mathematical Journal, 42
(spec. issue), p. 471-476 (2002). konf02.pdf
-
S.Norgela, Decidability of some
classes of modal logic , Lithuanian Mathematical Journal, 42, No 2,
p.218-229 (2002).
-
S.Norgela, Some decidable classes of formulas of modal logic S4,
Special issue
of Lietuvos matematikos rinkinys, t. 41, pp. 408-412 (2001) decid1.pdf (129 KB)
-
S.Norgela,
Development of computer science studies at the Faculty of Mathematics
and Informatics of the Vilnius University, Special issue of Lietuvos
matematikos rinkinys, t. 41, pp. 313-319 (2001). develop.pdf
(82,7 KB)
-
S.Norgėla. Two decidable classes of modal logic S5,
Lithuanian Mathematical Journal, 40, No 3, p.350-360,
2000. In russian: Strp.dvi (43,9 KB) Strp.zip (18,4 KB), English
version: Lmj0027.dvi (43,7
KB) Lmj0027.zip (17,1
KB)
-
S.Norgėla. A resolution calculus for modal logic S4.
Proceedings of XIL Conference of Lithuanian Mathematical
. Lietuvos matematikų draugijos mokslo darbai. Vilnius,
t.4, p. 1-5, 2000. res.pdf
(125 KB) res.zip (71,8 KB)
-
S.Norgėla. Some decidable classes of modal logic
S5.Proceedings of XL Conference of Lithuanian Mathematical .
Lietuvos matematikų draugijos mokslo darbai. Vilnius, t.3,
p. 322-327, 1999. decid.tex (12,1 KB)
decid.zip (4,07 KB)
-
S.Norgėla. Parallel deduction - search
algorithm for the predicate logic formulas.Proceedings of XL Conference of Lithuanian Mathematical.
Lietuvos matematikų draugijos mokslo darbai, Vilnius, t.3,
p. 317-322, 1999. para.tex (14,2 KB)
para.zip (4,76 KB)
-
S.Norgėla. Kai kurie papildomi logikos
rezultatai.Knygoje: R.Lassaique, M. de Rougemont, "Logika ir
algoritmų sudėtingumas", Vilnius: Žara, p. 283-285,
1999.
-
S.Norgėla. Logikos algebros funkcijos. Knygoje: RLassaigne, M.de Rougemont "Logika ir informatikos
pagrindai", Žodynas. Vilnius, p. 232-242, 1996.