Andrikonis, J. Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom. (English) Zbl 1186.03038 Lith. Math. J. 49, No. 2, 123-139 (2009). Reviewer: G. E. Mints (Stanford) MSC: 03B45 03B42 03F05 PDFBibTeX XMLCite \textit{J. Andrikonis}, Lith. Math. J. 49, No. 2, 123--139 (2009; Zbl 1186.03038) Full Text: DOI
Sakalauskaitė, J. A sequent calculus for logic of knowledge and past time: completeness and decidability. (English) Zbl 1130.03012 Lith. Math. J. 46, No. 3, 347-355 (2006); and Liet. Mat. Rink. 46, No. 3, 427-437 (2006). MSC: 03B42 03B44 03F05 03B35 PDFBibTeX XMLCite \textit{J. Sakalauskaitė}, Lith. Math. J. 46, No. 3, 347--355 (2006; Zbl 1130.03012) Full Text: DOI
Sakalauskaitė, J. A sequent calculus for propositional dynamic logic for agents with interactions. (English) Zbl 1109.03014 Lith. Math. J. 45, No. 2, 217-224 (2005) and Liet. Mat. Rink. 45, No. 2, 261-269 (2005). MSC: 03B45 03B42 03F05 68T27 PDFBibTeX XMLCite \textit{J. Sakalauskaitė}, Lith. Math. J. 45, No. 2, 217--224 (2005; Zbl 1109.03014) Full Text: DOI
Sakalauskaitė, J. Sequent calculi with analytic cut for logics of time and knowledge with perfect recall. (English) Zbl 1048.03043 Lith. Math. J. 44, No. 2, 168-179 (2004) and Liet. Mat. Rink 44, No. 2, 209-224 (2004). MSC: 03F05 03B42 03B44 68Q85 03B70 PDFBibTeX XMLCite \textit{J. Sakalauskaitė}, Lith. Math. J. 44, No. 2, 168--179 (2004; Zbl 1048.03043) Full Text: DOI
Alonderis, R. Proof-theoretical investigation of temporal logic with time gaps. (English) Zbl 0971.03021 Lith. Math. J. 40, No. 3, 197-212 (2000) and Liet. Mat. Rink. 40, No. 3, 255-276 (2000). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B44 03F05 PDFBibTeX XMLCite \textit{R. Alonderis}, Lith. Math. J. 40, No. 3, 197--212 (2000) and Liet. Mat. Rink. 40, No. 3, 255--276 (2000; Zbl 0971.03021) Full Text: DOI