Regimantas Pliuškevičius

Method of marks for propositional linear temporal logic

Regimantas Pliuškevičius, 2014 .

Loop-Type Sequent Calculi for Temporal Logic

Regimantas Pliuškevičius, Romas Alonderis, Aida Pliuškevičienė, 2020, J. Autom. Reason..

Sequential Calculi for Symmetric Dynamic Logic

Regimantas Pliuškevičius, R. Pliuskevicius, 1985 .

A specialization of definitions in common knowledge logic

Aurimas Paulius Girčys, Regimantas Pliuškevičius, 2011 .

Saturation method for reflexive common knowledge logic

Aurimas Paulius Girčys, Regimantas Pliuškevičius, 2012 .

Two complete finitary sequent calculi for reflexive common knowledge

Aurimas Paulius Girčys, Regimantas Pliuškevičius, 2013 .

Loop-free verification of termination of derivation for a fragment of dynamic logic

Regimantas Pliuškevičius, 2008 .

On an ω-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL

Regimantas Pliuškevičius, .