Timed Dyadic Deontic Logic

EasyChair Preprint 6918

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 discuss fulfillment of TDDL specifications.

Keyphrases: Normative specification, conflict resolution, deontic logic, trace semantics

@booklet{EasyChair:6918,
  author    = {Karam Kharraz and Martin Leucker and Gerardo Schneider},
  title     = {Timed Dyadic Deontic Logic},
  howpublished = {EasyChair Preprint 6918},
  year      = {EasyChair, 2021}}