A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. - Jurate Sakalauskaite (RCLP, 1991)

A Sequent Calculus for a First Order Linear Temporal Logic with Equality. - Jurate Sakalauskaite (LFCS, 1992)

A complete sequent calculus for a first order branching temporal logic. - Jurate Sakalauskaite (SEKE, 1994)

Sequent Calculi for Temporal Logics of Common Knowledge and Belief. - Jurate Sakalauskaite (Informatica, 2006)

Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief. - Jurate Sakalauskaite (Informatica, 2007)

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)