 | 2007 |
|---|
| 5 |       | Jurate Sakalauskaite:
Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief.
Informatica, Lith. Acad. Sci. 18(1): 103-114 (2007) |
| 2006 |
|---|
| 4 | | Jurate Sakalauskaite:
Sequent Calculi for Temporal Logics of Common Knowledge and Belief.
Informatica, Lith. Acad. Sci. 17(1): 85-94 (2006) |
| 1994 |
|---|
| 3 |  | Jurate Sakalauskaite:
A complete sequent calculus for a first order branching temporal logic.
SEKE 1994: 274-280 |
| 1992 |
|---|
| 2 | | Jurate Sakalauskaite:
A Sequent Calculus for a First Order Linear Temporal Logic with Equality.
LFCS 1992: 430-440 |
| 1991 |
|---|
| 1 | | Jurate Sakalauskaite:
A Sequent Calculus for a First Order Linear Temporal Logic with Explicit Time.
RCLP 1991: 442-451 |
