| 2008 |
|---|
| 9 | EE | Regimantas Pliuskevicius,
Aida Pliuskeviciene:
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.
Informatica, Lith. Acad. Sci. 19(4): 597-616 (2008) |
| 2005 |
|---|
| 8 | EE | Regimantas Pliuskevicius,
Aida Pliuskeviciene:
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.
CLIMA VI 2005: 112-128 |
| 2004 |
|---|
| 7 | EE | Regimantas Pliuskevicius,
Aida Pliuskeviciene:
Decision Procedure for Temporal Logic of Belief and Actions.
Informatica, Lith. Acad. Sci. 15(3): 379-398 (2004) |
| 1998 |
|---|
| 6 | EE | Aida Pliuskeviciene:
Effective Properties of Some First-Order Intuitionistic Modal Logics.
FTP (LNCS Selection) 1998: 236-250 |
| 5 | EE | Aida Pliuskeviciene:
Extended Disjunction and Existence Properties for Some Predicate Modal Logics.
Logic Journal of the IGPL 6(5): 775-787 (1998) |
| 1994 |
|---|
| 4 | | Aida Pliuskeviciene,
Regimantas Pliuskevicius,
Michal Walicki,
Sigurd Meldal:
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS 1994: 291-303 |
| 3 | | Aida Pliuskeviciene:
Specialization of derivations in Hoare-like logic with recursive procedures.
SEKE 1994: 124-130 |
| 1992 |
|---|
| 2 | | Aida Pliuskeviciene:
Sequential Calculus for Proving the Properties of Regular Programs.
LFCS 1992: 370-381 |
| 1991 |
|---|
| 1 | | Aida Pliuskeviciene:
Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula.
RCLP 1991: 381-390 |
