TY  - RPRT
TI  - Appendix for: Cut-free Calculi and Relational Semantics for Temporal STIT logics
AU  - Kees van Berkel
AU  - Tim Lyon
PY  - 2019
UR  - https://arxiv.org/abs/1902.06632
ID  - 1902.06632
ER  -