4 citations · 11 across the 11 of their papers we have counts for
1 paper · 2 filters
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…