Cut-Free Calculi and Relational Semantics for Temporal STIT Logics.

Kees van Berkel, Tim S. Lyon

Browse the full JELIA paper archive.