Jurate Saskalauskaite

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
https://portal.mardi4nfdi.de/entity/Q2810015	2016-05-30	Paper
https://portal.mardi4nfdi.de/entity/Q2791891	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
https://portal.mardi4nfdi.de/entity/Q2718775	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

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: Jurate Saskalauskaite