A discrete-time temporal deontic STIT logic based on interpreted systems

We present a STIT (‘see to it that’) logic with discrete temporal operators and deontic operators in which we can formalize and reason about legal concepts such as persistent duty and the dynamic concept of power from Hohfeld. As our main technical contribution, we show that this logic is sound and complete with respect to the semantics based on interpreted systems and is decidable.