Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. - Aida Pliuskeviciene (RCLP, 1991)

Sequential Calculus for Proving the Properties of Regular Programs. - Aida Pliuskeviciene (LFCS, 1992)

On Specialization of Derivations in Axiomatic Equality Theories. - Aida Pliuskeviciene; Regimantas Pliuskevicius; Michal Walicki; Sigurd Meldal (LFCS, 1994)

Specialization of derivations in Hoare-like logic with recursive procedures. - Aida Pliuskeviciene (SEKE, 1994)

Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom. - Aida Pliuskeviciene (Advances in Modal Logic, 1996)

Effective Properties of Some First-Order Intuitionistic Modal Logics. - Aida Pliuskeviciene (FTP (LNCS Selection), 1998)

Extended Disjunction and Existence Properties for Some Predicate Modal Logics. - Aida Pliuskeviciene (Log. J. IGPL, 1998)

Decision Procedure for Temporal Logic of Belief and Actions. - Regimantas Pliuskevicius; Aida Pliuskeviciene (Informatica, 2004)

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. - Regimantas Pliuskevicius; Aida Pliuskeviciene (CLIMA, 2005)

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. - Regimantas Pliuskevicius; Aida Pliuskeviciene (Informatica, 2008)

A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4. - Regimantas Pliuskevicius; Aida Pliuskeviciene (J. Log. Comput., 2010)

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)