| |
| 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 | |
| 1 | Sigurd Meldal | [4] |
| 2 | Regimantas Pliuskevicius | [4] [7] [8] [9] |
| 3 | Michal Walicki | [4] |