Aida Pliuškevičienė

Available identifiers

zbMath Open pliuskeviciene.aidaWikidataQ102348991 ScholiaQ102348991MaRDI QIDQ1245696

List of research outcomes

Publication	Date of Publication	Type
Loop-check specification for a sequent calculus of temporal logic	2022-11-29	Paper
Finite sequent calculi for PLTL	2022-10-18	Paper
Loop-type sequent calculi for temporal logic	2021-02-17	Paper
Loop-check elimination for non-transitive distributed knowledge logic	2016-06-10	Paper
Elimination of loop-check for logic of idealized knowledge	2016-05-30	Paper
A method of marks and indices for linear modal logic	2016-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q3080427	2011-03-10	Paper
A New Method to Obtain Termination in Backward Proof Search For Modal Logic S4	2010-02-19	Paper
A New Method to Obtain Termination in Backward Proof Search for Modal Logic S4	2010-02-19	Paper
Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables	2009-04-28	Paper
Termination of derivations in a fragment of transitive distributed knowledge logic	2009-03-26	Paper
https://portal.mardi4nfdi.de/entity/Q3607560	2009-03-02	Paper
https://portal.mardi4nfdi.de/entity/Q5696557	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4809714	2004-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q2757834	2001-12-04	Paper
Extended disjunction and existence properties for some predicate modal logics	2001-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4503914	2001-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4501159	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4264061	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q4215600	1998-10-26	Paper
https://portal.mardi4nfdi.de/entity/Q5202984	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3800004	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3760513	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3678665	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3968453	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3888519	1979-01-01	Paper
Extension of the inverse method to axiomatic theories with equality	1976-01-01	Paper
Specialization of the use of axioms for deduction search in axiomatic theories with equality	1973-01-01	Paper
Elimination of cut-type rules from the Robinson and Presburger axiomatic systems	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4117396	1973-01-01	Paper
A sequential variant of R. M. Robinson's arithmetic system not containing cut rules	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638279	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638277	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638278	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5628096	1969-01-01	Paper

Research outcomes over time

This page was built for person: Aida Pliuškevičienė