Elimination of loop-check for logic of idealized knowledge

by Aida Pliuškevičienė
Published 2009-12-01

Loop-check elimination for non-transitive distributed knowledge logic

by Aida Pliuškevičienė
Published 2008-12-01

A method of marks and indices for linear modal logic

by Regimantas Pliuškevičius, Aida Pliuškevičienė
Published 2009-12-01

Finite sequent calculi for PLTL

by Romas Alonderis, Regimantas Pliuškevičius, Aida Pliuškevičienė
Published 2015-12-01