Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.

Tim S. Lyon, Kees van Berkel

Browse the full PRIMA paper archive.