scholarly journals Dyadic Deontic Logic and Contrary-to-Duty Obligations

1997 ◽  
pp. 223-262 ◽  
Author(s):  
Henry Prakken ◽  
Marek Sergot
Keyword(s):  
Deontic Logic ◽  
Dyadic Deontic Logic

scholarly journals Conflicting imperatives and dyadic deontic logic

2005 ◽  
Vol 3 (3-4) ◽  
pp. 484-511 ◽  
Author(s):  
Jörg Hansen
Keyword(s):  
Deontic Logic ◽  
Dyadic Deontic Logic

scholarly journals Maximality vs. Optimality in Dyadic Deontic Logic

2013 ◽  
Vol 43 (6) ◽  
pp. 1101-1128 ◽  
Author(s):  
Xavier Parent
Keyword(s):  
Deontic Logic ◽  
Dyadic Deontic Logic

scholarly journals Timed Dyadic Deontic Logic

2021 ◽  
Author(s):  
Karam Younes Kharraz ◽  
Martin Leucker ◽  
Gerardo Schneider
Keyword(s):  
Deontic Logic ◽  
Starting Point ◽  
Trace Semantics ◽  
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.

Sign in / Sign up

Export Citation Format

Share Document