K. van Berkel: "Cut-free Calculi and Relational Semantics for temporal STIT logics"; Talk: FISP Workshop (3rd FISP Meeting), Vienna, TU; 2018-12-07 - 2018-12-08.