Glivenko Classes of Sequents for Propositional Star-Free Likelihood Logic. - Romas Alonderis (Log. J. IGPL, 2007)

A proof-search procedure for intuitionistic propositional logic. - Romas Alonderis (Arch. Math. Log., 2013)

Decidability of Logic of Correlated Knowledge. - Haroldas Giedra; Jurate Sakalauskaite; Romas Alonderis (Informatica, 2014)

A Labelled Sequent Calculus for Half-order Modal Logic. - Romas Alonderis; Jurate Sakalauskaite (FLAP, 2018)

Automated proof search system for logic of correlated knowledge. - Haroldas Giedra; Romas Alonderis (CoRR, 2019)

A proof-search system for the logic of likelihood. - Romas Alonderis; Haroldas Giedra (Log. J. IGPL, 2020)

Loop-Type Sequent Calculi for Temporal Logic. - Romas Alonderis; Regimantas Pliuskevicius; Aida Pliuskeviciene; Haroldas Giedra (J. Autom. Reason., 2020)

Loop-Check Specification for a Sequent Calculus of Temporal Logic. - Romas Alonderis; Regimantas Pliuskevicius; Aida Pliuskeviciene; Haroldas Giedra (Stud Logica, 2022)