TY  - RPRT
TI  - A discrete-time temporal deontic STIT logic based on interpreted systems
AU  - Shuge Rong
AU  - Yifeng Ding
PY  - 2025
UR  - https://arxiv.org/abs/2510.22175
ID  - 2510.22175
ER  -