Pliuškevičius, Regimantas Logic of knowledge with infinitely many agents. (English) Zbl 1163.03307 Liet. Mat. Rink. 46, Spec. Iss., 247-252 (2006). MSC: 03B42 03F05 68T27 PDFBibTeX XMLCite \textit{R. Pliuškevičius}, Liet. Mat. Rink. 46, 247--252 (2006; Zbl 1163.03307)
Pliuškevičienė, Aida Specialization of derivations in modal logic S5. (English) Zbl 1163.03310 Liet. Mat. Rink. 46, Spec. Iss., 242-246 (2006). MSC: 03B45 03B25 03F07 PDFBibTeX XMLCite \textit{A. Pliuškevičienė}, Liet. Mat. Rink. 46, 242--246 (2006; Zbl 1163.03310)
Alonderis, Romas Sequent calculus for propositional likelihood logic. (English) Zbl 1163.03309 Liet. Mat. Rink. 46, Spec. Iss., 225-231 (2006). MSC: 03B45 03B70 68T27 PDFBibTeX XMLCite \textit{R. Alonderis}, Liet. Mat. Rink. 46, 225--231 (2006; Zbl 1163.03309)
Belovas, Andrejus; Norgėla, Stanislovas Sequent calculus Sk4 for skolemized formulas. (English) Zbl 1245.03024 Liet. Mat. Rink. 45, Spec. Iss., 316-320 (2005). MSC: 03B45 PDFBibTeX XMLCite \textit{A. Belovas} and \textit{S. Norgėla}, Liet. Mat. Rink. 45, 316--320 (2005; Zbl 1245.03024)
Pliuškevičienė, Aida Decision procedure for a combination of logics KD4 and PDL. (English) Zbl 1207.03026 Liet. Mat. Rink. 44, Spec. Iss., 525-529 (2004). MSC: 03B45 03B25 03B42 03B62 68Q60 PDFBibTeX XMLCite \textit{A. Pliuškevičienė}, Liet. Mat. Rink. 44, 525--529 (2004; Zbl 1207.03026)
Norgėla, Stanislovas Resolution method for some class of formulas of modal logic S4. (English) Zbl 1207.03025 Liet. Mat. Rink. 44, Spec. Iss., 521-524 (2004). MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{S. Norgėla}, Liet. Mat. Rink. 44, 521--524 (2004; Zbl 1207.03025)
Norgėla, Stanislovas Some decidable classes of formulas of modal logic S4. (English) Zbl 1043.03509 Liet. Mat. Rink. 41, Spec. Iss., 408-412 (2001). MSC: 03B45 03B25 PDFBibTeX XMLCite \textit{S. Norgėla}, Liet. Mat. Rink. 41, 408--412 (2001; Zbl 1043.03509)
Norgėla, Stasys A resolution calculus for modal logic S4. (English) Zbl 1014.03024 Liet. Mat. Rink. 40, Spec. Iss., 270-274 (2000). MSC: 03B45 03B35 PDFBibTeX XMLCite \textit{S. Norgėla}, Liet. Mat. Rink. 40, 270--274 (2000; Zbl 1014.03024)