|
Download PDFOpen PDF in browserTimed Dyadic Deontic LogicEasyChair Preprint 69188 pages•Date: October 26, 2021AbstractIn 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. Keyphrases: Normative specification, conflict resolution, deontic logic, trace semantics Download PDFOpen PDF in browser |
|
|