HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A dyadic operator for the gradation of desirability

Abstract : We propose a normal modal deontic logic based on a dyadic operator, similar in structure to the temporal "until". By bringing significant expressiveness to the logic, it allows both the denition of a monadic desirability operator similar to the SDL obligation, and the expression of the relative level of desirability of target formulae. The interpretation of this logic on a linear structure of worlds ordered by desirability makes its semantics more intuitive and concrete than the SDL deontic accessibility relation. We also show that the core modality of the logic permits to represent the Chisholm and Forrester paradoxes of deontic logic in a more precise way, which does not lead to inconsistencies.
Complete list of metadata

Contributor : Guillaume Piolle Connect in order to contact the contributor
Submitted on : Thursday, December 16, 2010 - 10:10:22 AM
Last modification on : Friday, February 4, 2022 - 3:19:38 AM

Links full text




Guillaume Piolle. A dyadic operator for the gradation of desirability. 10th international conference on deontic logic in computer science (DEON'10), Jul 2010, Fiesole, Italy. pp.33-49, ⟨10.1007/978-3-642-14183-6_5⟩. ⟨hal-00547338⟩



Record views