collaborators

1 paper

math.LO2025

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

Shuge Rong, Yifeng Ding

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…