Aida Pliuskeviciene - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 14 from 14

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]

1998

Extended Disjunction and Existence Properties for Some Predicate Modal LogicsAida Pliuskeviciene. igpl, 6(5):775-787, 1998. [doi]

Effective Properties of Some First-Order Intuitionistic Modal LogicsAida Pliuskeviciene. ftp 2000: 236-250 [doi]

1996

Cut-Free Indexed Calculi for Modal Logics Containing the Barcan AxiomAida Pliuskeviciene. aiml 1998: 157-172

1994

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

Specialization of derivations in Hoare-like logic with recursive proceduresAida Pliuskeviciene. seke 1994: 124-130

1992

Sequential Calculus for Proving the Properties of Regular ProgramsAida Pliuskeviciene. lfcs 1992: 370-381

1991

Gentzen-Type Calculi for Modal Logic S4 with Barcan FormulaAida Pliuskeviciene. lpar 1992: 381-390

Sign in or sign up to see more results.

runs on WebDSL