Timed Dyadic Deontic Logic
Paper i proceeding, 2021

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

Författare

Karam Kharraz

Universitaet Zu Lübeck

Martin Leucker

Universitaet Zu Lübeck

Gerardo Schneider

Göteborgs universitet

Data Science och AI

Frontiers in Artificial Intelligence and Applications

0922-6389 (ISSN) 18798314 (eISSN)

Vol. 346 197-204
978-164368252-5 (ISBN)

34th International Conference on Legal Knowledge and Information Systems, JURIX 2021
Virtual, Online, Lithuania,

Ämneskategorier (SSIF 2025)

Datavetenskap (datalogi)

Algebra och logik

DOI

10.3233/FAIA210336

Mer information

Senast uppdaterat

2025-06-27