A discrete-time temporal deontic STIT logic based on interpreted systems
Shuge Rong, Yifeng Ding
TL;DR
This paper introduces a novel discrete-time temporal deontic STIT logic that formalizes legal concepts like duty and power, providing soundness, completeness, and decidability within interpreted systems semantics.
Contribution
It presents the first discrete-time temporal deontic STIT logic with formal semantics, soundness, completeness, and decidability for legal reasoning.
Findings
Logic is sound and complete with respect to interpreted systems semantics.
The logic is decidable.
It effectively formalizes legal concepts like duty and power.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.