We stand with Ukraine  

Jurate Sakalauskaite

According to our database1, Jurate Sakalauskaite authored at least 7 papers between 1991 and 2018.

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of seven.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
A Labelled Sequent Calculus for Half-order Modal Logic.
[BibTeX]
[DOI]
Romas Alonderis
,
Jurate Sakalauskaite
FLAP, 2018

2014
Decidability of Logic of Correlated Knowledge.
[BibTeX]
[DOI]
Haroldas Giedra
,
Jurate Sakalauskaite
,
Romas Alonderis
Informatica, 2014

2007
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief.
[BibTeX]
[DOI]
Jurate Sakalauskaite
Informatica, 2007

2006
Sequent Calculi for Temporal Logics of Common Knowledge and Belief.
[BibTeX]
[DOI]
Jurate Sakalauskaite
Informatica, 2006

1994
A complete sequent calculus for a first order branching temporal logic.
[BibTeX]
Jurate Sakalauskaite
Proceedings of the SEKE'94, 1994

1992
A Sequent Calculus for a First Order Linear Temporal Logic with Equality.
[BibTeX]
[DOI]
Jurate Sakalauskaite
Proceedings of the Logical Foundations of Computer Science, 1992

1991
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time.
[BibTeX]
[DOI]
Jurate Sakalauskaite
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991


  Loading...