Jūratė Sakalauskaitė

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A labelled sequent calculus for half-order modal logic	2022-09-28	Paper
Decidability of logic of correlated knowledge	2018-05-11	Paper
Partial cut elimination for propositional discrete linear time temporal logic Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai	2016-05-30	Paper
Sequent calculus for logic of correlated knowledge Lietuvos Matematikos Rinkinys. Lietuvos Matematiku Draugijos Darbai	2016-03-16	Paper
Sequent calculi for branching time temporal logics of knowledge and beliefwith awareness: completeness and decidability Lithuanian Mathematical Journal	2013-06-21	Paper
A sequent calculus for logic of knowledge and past time: completeness and decidability Lithuanian Mathematical Journal	2008-02-18	Paper
scientific article; zbMATH DE number 5177771 (Why is no real title available?)	2007-08-07	Paper
Sequent calculi for temporal logics of common knowledge and belief	2007-01-29	Paper
A sequent calculus for propositional dynamic logic for agents with interactions Lithuanian Mathematical Journal	2006-11-28	Paper
A sequent calculus for propositional dynamic logic for agents Lithuanian Mathematical Journal	2005-11-11	Paper
Sequent calculi with analytic cut for logics of time and knowledge with perfect recall Lithuanian Mathematical Journal	2004-10-15	Paper
Tableaus with invertible rules for many-valued modal propositional logics Lithuanian Mathematical Journal	2003-05-19	Paper
scientific article; zbMATH DE number 1678387 (Why is no real title available?)	2001-12-04	Paper
Prefixed tableaus for three-valued modal propositional logics Proceedings of the Estonian Academy of Sciences. Physics, Mathematics	2001-05-09	Paper
scientific article; zbMATH DE number 1337621 (Why is no real title available?)	1999-09-21	Paper
scientific article; zbMATH DE number 4197951 (Why is no real title available?)	1989-01-01	Paper
scientific article; zbMATH DE number 4045721 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 4010497 (Why is no real title available?)	1985-01-01	Paper
scientific article; zbMATH DE number 3887686 (Why is no real title available?)	1983-01-01	Paper
scientific article; zbMATH DE number 3795339 (Why is no real title available?)	1981-01-01	Paper

Research outcomes over time

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