Aida Pliuskeviciene

According to our database, Aida Pliuskeviciene authored at least 13 papers between 1991 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Loop-Check Specification for a Sequent Calculus of Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

Stud Logica, 2022

2020

Loop-Type Sequent Calculi for Temporal Logic.

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra

J. Autom. Reason., 2020

2010

A New Method to Obtain Termination in Backward Proof Search for Modal Logic <i>S</i>4.

Regimantas Pliuskevicius, Aida Pliuskeviciene

J. Log. Comput., 2010

2008

Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.

Regimantas Pliuskevicius, Aida Pliuskeviciene

Informatica, 2008

2005

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.

Regimantas Pliuskevicius, Aida Pliuskeviciene

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004

Decision Procedure for Temporal Logic of Belief and Actions.

Regimantas Pliuskevicius, Aida Pliuskeviciene

Informatica, 2004

1998

Extended Disjunction and Existence Properties for Some Predicate Modal Logics.

Aida Pliuskeviciene

Log. J. IGPL, 1998

Effective Properties of Some First-Order Intuitionistic Modal Logics.

Aida Pliuskeviciene

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1996

Cut-Free Indexed Calculi for Modal Logics Containing the Barcan Axiom.

Aida Pliuskeviciene

Proceedings of the Advances in Modal Logic 1, 1996

1994

Specialization of derivations in Hoare-like logic with recursive procedures.

Aida Pliuskeviciene

Proceedings of the SEKE'94, 1994

On Specialization of Derivations in Axiomatic Equality Theories.

Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

1992

Sequential Calculus for Proving the Properties of Regular Programs.

Aida Pliuskeviciene

Proceedings of the Logical Foundations of Computer Science, 1992

1991

Gentzen-Type Calculi for Modal Logic S4 with Barcan Formula.

Aida Pliuskeviciene

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991