A discrete-time temporal deontic STIT logic based on interpreted systems
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |