Jurate Sakalauskaite

Publication Activity (10 Years)

Years Active: 1991-2018
Publications (10 Years): 1

Top Topics

Probabilistic Knowledge

Decision Procedures

Sequent Calculus

Top Venues

Publications

Romas Alonderis, Jurate Sakalauskaite
A Labelled Sequent Calculus for Half-order Modal Logic. FLAP 5 (1) (2018)
Haroldas Giedra, Jurate Sakalauskaite, Romas Alonderis
Decidability of Logic of Correlated Knowledge. Informatica 25 (4) (2014)
Jurate Sakalauskaite
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief. Informatica 18 (1) (2007)
Jurate Sakalauskaite
Sequent Calculi for Temporal Logics of Common Knowledge and Belief. Informatica 17 (1) (2006)
Jurate Sakalauskaite
A complete sequent calculus for a first order branching temporal logic. SEKE (1994)
Jurate Sakalauskaite
A Sequent Calculus for a First Order Linear Temporal Logic with Equality. LFCS (1992)
Jurate Sakalauskaite
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time. RCLP (1991)