A. Ju. Pljuskevicene

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
https://portal.mardi4nfdi.de/entity/Q2811593	2016-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q2809678	2016-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q2809680	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
https://portal.mardi4nfdi.de/entity/Q3617019	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/Q5638277	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638278	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5638279	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5628096	1969-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: A. Ju. Pljuskevicene