Jūratė Sakalauskaitė

Available identifiers

zbMath Open sakalauskaite.jurateMaRDI QIDQ704033

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869513	2022-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q4639651	2018-05-11	Paper
Partial cut elimination for propositional discrete linear time temporal logic	2016-05-30	Paper
Sequent calculus for logic of correlated knowledge	2016-03-16	Paper
Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability	2013-06-21	Paper
A sequent calculus for logic of knowledge and past time: completeness and decidability	2008-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q3594284	2007-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q3417384	2007-01-29	Paper
A sequent calculus for propositional dynamic logic for agents with interactions	2006-11-28	Paper
A sequent calculus for propositional dynamic logic for agents	2005-11-11	Paper
Sequent calculi with analytic cut for logics of time and knowledge with perfect recall	2004-10-15	Paper
Tableaus with invertible rules for many-valued modal propositional logics	2003-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2757840	2001-12-04	Paper
Prefixed tableaus for three-valued modal propositional logics	2001-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4264060	1999-09-21	Paper
https://portal.mardi4nfdi.de/entity/Q5202986	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3783275	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3760521	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3222193	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4741686	1981-01-01	Paper

Research outcomes over time

This page was built for person: Jūratė Sakalauskaitė