Regimantas Pliuskevicius

According to our database, Regimantas Pliuskevicius authored at least 27 papers between 1990 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

2001

Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.

Regimantas Pliuskevicius

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

On an <i>omega</i>-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL.

Regimantas Pliuskevicius

Proceedings of the Computational Logic, 2000

A Deductive Decision Procedure for a Restricted FTL.

Regimantas Pliuskevicius

Proceedings of the Seventh Workshop on Automated Reasoning, 2000

1998

Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.

Regimantas Pliuskevicius

J. Appl. Non Class. Logics, 1998

1997

On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, 1997

1996

On Saturation with Flexible Function Symbols.

Regimantas Pliuskevicius

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Similarity Saturation for First Order Linear Temporal Logic with UNLESS.

Regimantas Pliuskevicius

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

1995

On the Replacement of Induction for a First Order Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, 1995

1994

The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic.

Regimantas Pliuskevicius

J. Autom. Reason., 1994

Saturated deductive systems for temporal specifications.

Regimantas Pliuskevicius

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

1993

The Analytic Tableaux for Linear Minscoped Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993

On Saturated Calculi for a Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Mathematical Foundations of Computer Science 1993, 1993

On the Saturation Principle for a Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, 1993

Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

1992

The Analityc Tableaux for Linear Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Workshop Theorem Proving with Analytic Tableaux and Related Methods, 1992

Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since.

Regimantas Pliuskevicius

Proceedings of the Logical Foundations of Computer Science, 1992

Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.

Regimantas Pliuskevicius

Proceedings of the Logics in AI, European Workshop, 1992

1991

Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic.

Regimantas Pliuskevicius

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

Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus.

Regimantas Pliuskevicius

Proceedings of the Baltic Computer Science, Selected Papers, 1991

1990

Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi.

Regimantas Pliuskevicius

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990