TY  - RPRT
TI  - Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
AU  - Tim Lyon
AU  - Kees van Berkel
PY  - 2020
DO  - 10.1007/978-3-030-33792-6_13
UR  - https://arxiv.org/abs/1908.11360
ID  - 1908.11360
ER  -