| ||||
| ||||
![]() Title:Timed Dyadic Deontic Logic Conference:JURIX2021 Tags:Conflict resolution, Deontic logic, Normative specification and Trace semantics Abstract: In this paper, we introduce TDDL, a timed dyadic deontic logic. Our starting point is a version of a dyadic deontic logic with conditional obligations, permissions, and obligations, and with a ``reparation'' operator for representing contrary-to-duties and contrary-to-prohibitions. We also, consider a sequence operator allowing us to define norms as sequences of individual norms and most importantly with timed intervals, allowing us to express deadlines of norms. We provide a trace semantics capturing both satisfaction and violation of norms, and we propose an algorithm for detecting and correcting timed conflicts when possible. | ||||
Copyright © 2002 – 2025 EasyChair |