Regimantas Pliuskevicius

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 2

Top Topics

Mazurkiewicz Traces

Sequent Calculi

Satisfiability Problem

Top Venues

J. Autom. Reason.

Publications

Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Check Specification for a Sequent Calculus of Temporal Logic. Stud Logica 110 (6) (2022)
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
Loop-Type Sequent Calculi for Temporal Logic. J. Autom. Reason. 64 (8) (2020)
Regimantas Pliuskevicius, Aida Pliuskeviciene
4. J. Log. Comput. 20 (1) (2010)
Regimantas Pliuskevicius, Aida Pliuskeviciene
4. J. Log. Comput. 20 (1) (2010)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic. Informatica 19 (4) (2008)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. CLIMA (2005)
Regimantas Pliuskevicius, Aida Pliuskeviciene
Decision Procedure for Temporal Logic of Belief and Actions. Informatica 15 (3) (2004)
Regimantas Pliuskevicius
Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL. IJCAR (2001)
Regimantas Pliuskevicius
-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL. Computational Logic (2000)
Regimantas Pliuskevicius
A Deductive Decision Procedure for a Restricted FTL. ARW (2000)
Regimantas Pliuskevicius
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic. J. Appl. Non Class. Logics 8 (1-2) (1998)
Regimantas Pliuskevicius
On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic. Kurt Gödel Colloquium (1997)
Regimantas Pliuskevicius
On Saturation with Flexible Function Symbols. MFCS (1996)
Regimantas Pliuskevicius
Similarity Saturation for First Order Linear Temporal Logic with UNLESS. JELIA (1996)
Regimantas Pliuskevicius
On the Replacement of Induction for a First Order Linear Temporal Logic. WOCFAI (1995)
Regimantas Pliuskevicius
Saturated deductive systems for temporal specifications. SEKE (1994)
Regimantas Pliuskevicius
The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic. J. Autom. Reason. 13 (3) (1994)
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
On Specialization of Derivations in Axiomatic Equality Theories. LFCS (1994)
Regimantas Pliuskevicius
On Saturated Calculi for a Linear Temporal Logic. MFCS (1993)
Regimantas Pliuskevicius
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. Formal Methods in Programming and Their Applications (1993)
Regimantas Pliuskevicius
On the Saturation Principle for a Linear Temporal Logic. Kurt Gödel Colloquium (1993)
Regimantas Pliuskevicius
The Analytic Tableaux for Linear Minscoped Temporal Logic. SCAI (1993)
Regimantas Pliuskevicius
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. JELIA (1992)
Regimantas Pliuskevicius
Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since. LFCS (1992)
Regimantas Pliuskevicius
The Analityc Tableaux for Linear Temporal Logic. TABLEAUX (1992)
Regimantas Pliuskevicius
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic. RCLP (1991)
Regimantas Pliuskevicius
Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi. MFCS (1990)