Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | https://arxiv.org/abs/2510.22175 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918197773467648 |
|---|---|
| author | Rong, Shuge Ding, Yifeng |
| author_facet | Rong, Shuge Ding, Yifeng |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_22175 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A discrete-time temporal deontic STIT logic based on interpreted systems Rong, Shuge Ding, Yifeng Logic 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. |
| title | A discrete-time temporal deontic STIT logic based on interpreted systems |
| topic | Logic |
| url | https://arxiv.org/abs/2510.22175 |