Regimantas Pliuskevicius - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2022

Loop-Check Specification for a Sequent Calculus of Temporal LogicRomas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra. sLogica, 110(6):1507-1536, 2022. [doi]

2020

Loop-Type Sequent Calculi for Temporal LogicRomas Alonderis, Regimantas Pliuskevicius, Aida Pliuskeviciene, Haroldas Giedra. JAR, 64(8):1663-1684, 2020. [doi]

2010

A New Method to Obtain Termination in Backward Proof Search For Modal Logic ::::S::::4Regimantas Pliuskevicius, Aida Pliuskeviciene. logcom, 20(1):353-379, 2010. [doi]

A New Method to Obtain Termination in Backward Proof Search for Modal Logic ::::S::::4Regimantas Pliuskevicius, Aida Pliuskeviciene. logcom, 20(1):381-387, 2010. [doi]

2008

Termination of Derivations in a Fragment of Transitive Distributed Knowledge LogicRegimantas Pliuskevicius, Aida Pliuskeviciene. informaticaLT, 19(4):597-616, 2008. [doi]

2005

Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent VariablesRegimantas Pliuskevicius, Aida Pliuskeviciene. clima 2006: 112-128 [doi]

2004

Decision Procedure for Temporal Logic of Belief and ActionsRegimantas Pliuskevicius, Aida Pliuskeviciene. informaticaLT, 15(3):379-398, 2004. [doi]

2001

Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTLRegimantas Pliuskevicius. cade 2001: 107-120 [doi]

2000

On an ::::omega::::-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTLRegimantas Pliuskevicius. cl 2000: 523-537 [doi]

A Deductive Decision Procedure for a Restricted FTLRegimantas Pliuskevicius. arw 2000: [doi]

1998

Replacement of Induction by Similarity Saturation in a First Order Linear Temporal LogicRegimantas Pliuskevicius. jancl, 8(1-2):141-169, 1998.

1997

On the Completeness and Decidability of a Restricted First Order Linear Temporal LogicRegimantas Pliuskevicius. kgc 1997: 241-254

1996

Similarity Saturation for First Order Linear Temporal Logic with UNLESSRegimantas Pliuskevicius. jelia 1996: 320-336

On Saturation with Flexible Function SymbolsRegimantas Pliuskevicius. mfcs 1996: 482-493

1995

On the Replacement of Induction for a First Order Linear Temporal LogicRegimantas Pliuskevicius. wocfai 1995: 331-342

1994

On Specialization of Derivations in Axiomatic Equality TheoriesAida Pliuskeviciene, Regimantas Pliuskevicius, Michal Walicki, Sigurd Meldal. lfcs 1994: 291-303

Saturated deductive systems for temporal specificationsRegimantas Pliuskevicius. seke 1994: 267-273

The Saturated Tableaux for Linear Miniscoped Horn-like Temporal LogicRegimantas Pliuskevicius. JAR, 13(3):391-407, 1994.

1993

Saturation Replaces Induction for a Miniscoped Linear Temporal LogicRegimantas Pliuskevicius. ershov 1993: 299-311

On the Saturation Principle for a Linear Temporal LogicRegimantas Pliuskevicius. kgc 1993: 289-300

On Saturated Calculi for a Linear Temporal LogicRegimantas Pliuskevicius. mfcs 1993: 640-649

The Analytic Tableaux for Linear Minscoped Temporal LogicRegimantas Pliuskevicius. scai 1993: 90-96

1992

Design Complete Sequential Calculus for Continuous Fixpoint Temporal LogicRegimantas Pliuskevicius. jelia 1992: 36-51

Complete Sequential Calculi for the First Order Symmetrical Linear Temporal Logic with Until and SinceRegimantas Pliuskevicius. lfcs 1992: 382-393

The Analityc Tableaux for Linear Temporal LogicRegimantas Pliuskevicius. tableaux 1992: 70-72

1991

Logical Foundation for Logic Programming Based on First Order Linear Temporal LogicRegimantas Pliuskevicius. lpar 1992: 391-406

Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary CalculusRegimantas Pliuskevicius. balt 1991: 504-528

1990

Investigation of Finitary Calculi for the Temporal Logics by Means of Infinitary CalculiRegimantas Pliuskevicius. mfcs 1990: 464-469

Sign in or sign up to see more results.

runs on WebDSL