12 citations · 68 across the 25 of their papers we have counts for
1 paper · 1 filter
Tim S. Lyon, Kees van Berkel
This paper provides a set of cut-free complete sequent-style calculi for deontic STIT ('See To It That') logics used to formally reason about choice-making, obligations, and norms…