A discrete-time temporal deontic STIT logic based on interpreted systems
Logic
2025-11-13 v3
Abstract
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.
Keywords
Cite
@article{arxiv.2510.22175,
title = {A discrete-time temporal deontic STIT logic based on interpreted systems},
author = {Shuge Rong and Yifeng Ding},
journal= {arXiv preprint arXiv:2510.22175},
year = {2025}
}