Timed Dyadic Deontic Logic
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 discuss fulfillment of TDDL specifications.
2005 ◽
Vol 3
(3-4)
◽
pp. 484-511
◽
1974 ◽
pp. 1-14
◽
2013 ◽
Vol 43
(6)
◽
pp. 1101-1128
◽