Sciweavers

Share
DEON
2006
Springer

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

9 years 7 months ago
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.
Jan Broersen
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where DEON
Authors Jan Broersen
Comments (0)
books