TY  - RPRT
TI  - A logic for instrumental obligation
AU  - Jialiang Yan
AU  - Qingyu He
PY  - 2025
UR  - https://arxiv.org/abs/2505.06824
ID  - 2505.06824
ER  -