Year: 2025
Type: preprint
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.
Source: arXiv (Cornell University)
Authors: Rong, Shuge, Ding, Yifeng
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7101769327
Cites:
Cited by:
Related to: