Proof-Theoretic Analysis of the Logics of Agency: The Deliberative STIT
Sara Negri, Edi Pavlović · Studia Logica · 2020
Abstract A sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT; the methodology allows a transparent justification of the rules, good structural properties, analyticity, direct completeness and decidability proofs.