Aida Pliuskeviciene

14 papers B 1C 1Misc 2Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2022 J jnl
Loop-Check Specification for a Sequent Calculus of Temporal Logic.
Stud Logica
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
2020 J jnl
Loop-Type Sequent Calculi for Temporal Logic.
J. Autom. Reason.
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
2010 J jnl
A New Method to Obtain Termination in Backward Proof Search For Modal Logic
J. Log. Comput.
Regimantas Pliuskevicius, Aida Pliuskeviciene
2010 J jnl
A New Method to Obtain Termination in Backward Proof Search for Modal Logic
J. Log. Comput.
Regimantas Pliuskevicius, Aida Pliuskeviciene
2008 J jnl
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.
Informatica
Regimantas Pliuskevicius, Aida Pliuskeviciene
2005 — conf
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.
CLIMA
Regimantas Pliuskevicius, Aida Pliuskeviciene
2004 J jnl
Decision Procedure for Temporal Logic of Belief and Actions.
Informatica
Regimantas Pliuskevicius, Aida Pliuskeviciene
1998 — conf
Effective Properties of Some First-Order Intuitionistic Modal Logics.
FTP (LNCS Selection)
Aida Pliuskeviciene
1998 J jnl
Extended Disjunction and Existence Properties for Some Predicate Modal Logics.
Log. J. IGPL
Aida Pliuskeviciene
1996 B conf
Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom.
Advances in Modal Logic
Aida Pliuskeviciene
1994 Misc conf
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
1994 C conf
Specialization of derivations in Hoare-like logic with recursive procedures.
SEKE
Aida Pliuskeviciene
1992 Misc conf
Sequential Calculus for Proving the Properties of Regular Programs.
LFCS
Aida Pliuskeviciene
1991 — conf
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula.
RCLP
Aida Pliuskeviciene