Norgėla, S. Path calculus in the modal logic S4. (English. Russian original) Zbl 1076.03014 Lith. Math. J. 45, No. 1, 94-101 (2005); translation from Liet. Mat. Rink. 45, No. 1, 117-126 (2005). MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{S. Norgėla}, Lith. Math. J. 45, No. 1, 94--101 (2005; Zbl 1076.03014); translation from Liet. Mat. Rink. 45, No. 1, 117--126 (2005) Full Text: DOI
Norgėla, S. The resolution method for one reducible class of formulas of the first-order modal logic S4. (English. Russian original) Zbl 1072.03011 Lith. Math. J. 44, No. 4, 386-394 (2004); translation from Liet. Mat. Rink. 44, No. 4, 481-492 (2004). MSC: 03B35 03B45 PDFBibTeX XMLCite \textit{S. Norgėla}, Lith. Math. J. 44, No. 4, 386--394 (2004; Zbl 1072.03011); translation from Liet. Mat. Rink. 44, No. 4, 481--492 (2004) Full Text: DOI
Norgėla, S. One calculus of nonderivable formulas of propositional modal logic. (English. Russian original) Zbl 1048.03015 Lith. Math. J. 43, No. 1, 56-66 (2003); translation from Liet. Mat. Rink 43, No. 1, 65-79 (2003). MSC: 03B45 PDFBibTeX XMLCite \textit{S. Norgėla}, Lith. Math. J. 43, No. 1, 56--66 (2003; Zbl 1048.03015); translation from Liet. Mat. Rink 43, No. 1, 65--79 (2003) Full Text: DOI