Regimantas Pliuskevicius

28 papers A 1B 6C 1Misc 2Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Loop-Check Specification for a Sequent Calculus of Temporal Logic.
Stud Logica
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
2020 J jnl
Loop-Type Sequent Calculi for Temporal Logic.
J. Autom. Reason.
Romas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra
2010 J jnl
A New Method to Obtain Termination in Backward Proof Search For Modal Logic
J. Log. Comput.
Regimantas Pliuskevicius, Aida Pliuskeviciene
2010 J jnl
A New Method to Obtain Termination in Backward Proof Search for Modal Logic
J. Log. Comput.
Regimantas Pliuskevicius, Aida Pliuskeviciene
2008 J jnl
Termination of Derivations in a Fragment of Transitive Distributed Knowledge Logic.
Informatica
Regimantas Pliuskevicius, Aida Pliuskeviciene
2005 — conf
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables.
CLIMA
Regimantas Pliuskevicius, Aida Pliuskeviciene
2004 J jnl
Decision Procedure for Temporal Logic of Belief and Actions.
Informatica
Regimantas Pliuskevicius, Aida Pliuskeviciene
2001 A conf
Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL.
IJCAR
Regimantas Pliuskevicius
2000 — conf
A Deductive Decision Procedure for a Restricted FTL.
ARW
Regimantas Pliuskevicius
2000 — conf
On an
Computational Logic
Regimantas Pliuskevicius
1998 J jnl
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.
J. Appl. Non Class. Logics
Regimantas Pliuskevicius
1997 — conf
On the Completeness and Decidability of a Restricted First Order Linear Temporal Logic.
Kurt Gödel Colloquium
Regimantas Pliuskevicius
1996 B conf
On Saturation with Flexible Function Symbols.
MFCS
Regimantas Pliuskevicius
1996 B conf
Similarity Saturation for First Order Linear Temporal Logic with UNLESS.
JELIA
Regimantas Pliuskevicius
1995 — conf
On the Replacement of Induction for a First Order Linear Temporal Logic.
WOCFAI
Regimantas Pliuskevicius
1994 Misc conf
On Specialization of Derivations in Axiomatic Equality Theories.
LFCS
Aida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal
1994 C conf
Saturated deductive systems for temporal specifications.
SEKE
Regimantas Pliuskevicius
1994 J jnl
The Saturated Tableaux for Linear Miniscoped Horn-like Temporal Logic.
J. Autom. Reason.
Regimantas Pliuskevicius
1993 B conf
On Saturated Calculi for a Linear Temporal Logic.
MFCS
Regimantas Pliuskevicius
1993 — conf
On the Saturation Principle for a Linear Temporal Logic.
Kurt Gödel Colloquium
Regimantas Pliuskevicius
1993 — conf
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic.
Formal Methods in Programming and Their Applications
Regimantas Pliuskevicius
1993 — conf
The Analytic Tableaux for Linear Minscoped Temporal Logic.
SCAI
Regimantas Pliuskevicius
1992 Misc conf
Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and Since.
LFCS
Regimantas Pliuskevicius
1992 B conf
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic.
JELIA
Regimantas Pliuskevicius
1992 B conf
The Analityc Tableaux for Linear Temporal Logic.
TABLEAUX
Regimantas Pliuskevicius
1991 — ch.
Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus.
Baltic Computer Science
Regimantas Pliuskevicius
1991 — conf
Logical Foundation for Logic Programming Based on First Order Linear Temporal Logic.
RCLP
Regimantas Pliuskevicius
1990 B conf
Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary Calculi.
MFCS
Regimantas Pliuskevicius