Aida Pliuskeviciene

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 2

Top Topics

Mazurkiewicz Traces

Sequent Calculi

Satisfiability Problem

Top Venues

J. Autom. Reason.

Publications

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Check Specification for a Sequent Calculus of Temporal Logic. Stud Logica 110 (6) (2022)
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Type Sequent Calculi for Temporal Logic. J. Autom. Reason. 64 (8) (2020)
Regimantas Pliuskevicius, Aida Pliuskeviciene
4. J. Log. Comput. 20 (1) (2010)
Regimantas Pliuskevicius, Aida Pliuskeviciene
4. J. Log. Comput. 20 (1) (2010)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. Informatica 19 (4) (2008)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. CLIMA (2005)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Decision Procedure for Temporal Logic of Belief and Actions. Informatica 15 (3) (2004)
Aida Pliuskeviciene
Extended Disjunction and Existence Properties for Some Predicate Modal Logics. Log. J. IGPL 6 (5) (1998)
Aida Pliuskeviciene
Effective Properties of Some First-Order Intuitionistic Modal Logics. FTP (LNCS Selection) (1998)
Aida Pliuskeviciene
Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom. Advances in Modal Logic (1996)
Aida Pliuskeviciene
Specialization of derivations in Hoare-like logic with recursive procedures. SEKE (1994)
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
On Specialization of Derivations in Axiomatic Equality Theories. LFCS (1994)
Aida Pliuskeviciene
Sequential Calculus for Proving the Properties of Regular Programs. LFCS (1992)
Aida Pliuskeviciene
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula. RCLP (1991)