Cut-free Calculi and Relational Semantics for Temporal STIT Logics

Open in new window