Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario

In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concepts discussed in the deontic logic literature. Among the issues discussed are: conditionality, ought implies can, deliberateness, settledness, achievement obligations versus maintenance obligations and deontic detachment. We motivate our framework by arguing for the importance of temporal order obligations, from the standpoint of agent theory as studied in computer science. In particular we will argue that in general achievement obligations cannot do without a deadline condition saying the achievement has to take place before it. Then we define our logic as a reduction to ATL. We demonstrate the applicability of the logic by discussing a possible solution to Chisholm's paradox. The solution differs considerably from other known temporal approaches to the paradox.

• Type: Conference
• Year: 2006
• Where: DEON
• Authors: Jan Broersen
• Keywords: Achievement Obligations, Automated Reasoning, DEON 2006, Deontic, Time Temporal Logic