Aida Pliuskeviciene (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

9 Regimantas Pliuskevicius, Aida Pliuskeviciene: Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. Informatica, Lith. Acad. Sci. 19(4): 597-616 (2008)

8 Regimantas Pliuskevicius, Aida Pliuskeviciene: Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. CLIMA VI 2005: 112-128

7 Regimantas Pliuskevicius, Aida Pliuskeviciene: Decision Procedure for Temporal Logic of Belief and Actions. Informatica, Lith. Acad. Sci. 15(3): 379-398 (2004)

4 Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal: On Specialization of Derivations in Axiomatic Equality Theories. LFCS 1994: 291-303

Selection of 4 from 9 records - Aida Pliuskeviciene has 3 coauthors

9		Regimantas Pliuskevicius, Aida Pliuskeviciene: Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. Informatica, Lith. Acad. Sci. 19(4): 597-616 (2008)
8		Regimantas Pliuskevicius, Aida Pliuskeviciene: Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. CLIMA VI 2005: 112-128
7		Regimantas Pliuskevicius, Aida Pliuskeviciene: Decision Procedure for Temporal Logic of Belief and Actions. Informatica, Lith. Acad. Sci. 15(3): 379-398 (2004)
4		Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal: On Specialization of Derivations in Axiomatic Equality Theories. LFCS 1994: 291-303