A Dyadic Operator for the Gradation of Desirability

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 definition 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.

[1]  Frank Dignum,et al.  Specifying Deadlines with Continuous Time Using Deontic and Temporal Logic , 1998, Int. J. Electron. Commer..

[2]  Henry Prakken,et al.  Contrary-to-duty obligations , 1996, Stud Logica.

[3]  Andrew J. I. Jones,et al.  Ideality, sub-ideality and deontic logic , 2004, Synthese.

[4]  Arthur N. Prior.  THE PARADOXES OF DERIVED OBLIGATION , 1954 .

[5]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[6]  James William Forrester,et al.  Gentle Murder, or the Adverbial Samaritan , 1984 .

[7]  Guido Governatori,et al.  A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study , 2002 .

[8]  Lars Lindahl,et al.  Logical Theory and Semantic Analysis , 1974 .

[9]  Nora Cuppens-Boulahia,et al.  Security policy compliance with violation management , 2007, FMSE '07.

[10]  Jörgen Jörgensen,et al.  Imperatives and logic , 1937, Erkenntnis.

[11]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[12]  Roderick M. Chisholm,et al.  Contrary-To-Duty Imperatives and Deontic Logic , 1963 .

[13]  Frank Dignum,et al.  Meeting the Deadline: Why, When and How , 2004, FAABS.

[14]  David Lewis,et al.  Semantic Analyses for Dyadic Deontic Logic , 1974 .

[15]  B. Hansson.  An analysis of some deontic logics , 1969 .

[16]  Frédéric Cuppens,et al.  Analyzing consistency of security policies , 1997, Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097).

[17]  Henrik Sahlqvist.  Completeness and Correspondence in the First and Second Order Semantics for Modal Logic , 1975 .

[18]  Sven Ove Hansson,et al.  Semantics for more plausible deontic logics , 2004, J. Appl. Log..

[19]  Leon G. Higley,et al.  Forensic Entomology: An Introduction , 2009 .

[20]  Christopher A. Rouff,et al.  Formal Approaches to Agent-Based Systems , 2001, Lecture Notes in Computer Science.

[21]  Henry Prakken,et al.  Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science , 1998 .

[22]  Johan Anthory Willem Kamp,et al.  Tense logic and the theory of linear order , 1968 .

[23]  Alf Ross,et al.  Imperatives and Logic , 1944, Philosophy of Science.

[24]  Mark Reynolds,et al.  The complexity of the temporal logic with "until" over general linear time , 2003, J. Comput. Syst. Sci..

[25]  F. Dignum,et al.  Specifying Deadlines with Dense Time Using Deontic and , 1999 .

[26]  S. Kanger.  Proceedings of the third Scandinavian Logic Symposium , 1975 .

[27]  Paul McNamara,et al.  Deontic logic , 2006, Logic and the Modalities in the Twentieth Century.

[28]  Henry Prakken,et al.  Dyadic Deontic Logic and Contrary-to-Duty Obligations , 1997 .

[29]  R Fox,et al.  Moral dilemmas. , 1998, Journal of the Royal Society of Medicine.

[30]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[31]  Leon van der Torre.  Violated Obligations in a Defeasible Deontic Logic , 1994, ECAI.

[32]  Young U. Ryu.  Relativized deontic modalities for contractual obligations in formal business communication , 1997, Proceedings of the Thirtieth Hawaii International Conference on System Sciences.

[33]  Guido Governatori,et al.  Representing business contracts in RuleML , 2005, Int. J. Cooperative Inf. Syst..

[34]  Abraham Irving Melden.  Essays in moral philosophy , 1959 .

[35]  Laurence Cholvy,et al.  Reasoning About Norms Provided By Conflicting Regulations , 1998 .

[36]  Laurence Cholvy,et al.  Utilisation d'une logique de préférences conditionnelles pour raisonner avec des normes contrary-to-duties , 2001 .