Deontic Logic and Contrary-to-Duties

Deontic logic is concerned with the logical analysis of such normative notions as obligation, permission, right and prohibition. Although its origins lie in systematic legal and moral philosophy, deontic logic has begun to attract the interest of researchers in other areas, particularly computer science, management science and organisation theory. Among the application areas which have already received some attention in the literature are: issues of knowledge representation in the design of legal expert systems; the formal specification of aspects of computer systems, for instance in regard to security and access control policies, fault tolerance, and database integrity constraints; the formal characterisation of aspects of organisational structure, pertaining for example to the responsibilities and powers which agents are required or authorised to exercise. The “AEON” workshop proceedings provide some illustrations of work in these areas (see [ΔEON91; ΔEON94; ΔEON96]).

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

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

[3]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[4]  Peter L. Mott,et al.  On Chisholm's paradox , 1973, J. Philos. Log..

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

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

[7]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..

[8]  A. G. Hamilton.  Logic for Mathematicians , 1978 .

[9]  Azizah Y. al-Hibri.  Deontic logic: A comprehensive appraisal and a new proposal , 1978 .

[10]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

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

[12]  R. Hilpinen.  Deontic Logic: Introductory and Systematic Readings , 1981 .

[13]  Jaap Hoepelman,et al.  Some Theorems about a “Tree” System of Deontic Tense Logic , 1981 .

[14]  Richmond H. Thomason,et al.  Deontic Logic as Founded on Tense Logic , 1981 .

[15]  acobus Adrianus van Eck.  A system of temporally relative modal and deontic predicate logic and its philosophical applications , 1981 .

[16]  Risto Hilpinen,et al.  New Studies in Deontic Logic , 1981 .

[17]  Max J. Cresswell,et al.  A companion to modal logic , 1984 .

[18]  R. A. Bull,et al.  Basic Modal Logic , 1984 .

[19]  Hector-Neri Castañeda,et al.  Hector-Neri Castañeda , 1986 .

[20]  James E. Tomberlin.  Good Samaritans and Castañeda’s System of Deontic Logic , 1986 .

[21]  M. Belzer.  Legal reasoning in 3-D , 1987, ICAIL '87.

[22]  Michael E. Bratman,et al.  Intention, Plans, and Practical Reason , 1991 .

[23]  John-Jules Ch. Meyer,et al.  A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic , 1987, Notre Dame J. Formal Log..

[24]  Kurt Konolige,et al.  A Representationalist Theory of Intention , 1993, IJCAI.

[25]  C. E. Alchourrón,et al.  Philosophical foundations of deontic logic and the logic of defeasible conditionals , 1994 .

[26]  Roel Wieringa,et al.  Deontic logic in computer science: normative system specification , 1994 .

[27]  R. Hilpinen,et al.  Actions in deontic logic , 1994 .

[28]  L. Thorne McCarty.  Defeasible Deontic Reasoning , 1994, Fundam. Informaticae.

[29]  Marek Sergot,et al.  On the characterization of law and computer systems: the normative systems perspective , 1994 .

[30]  Mark A. Brown.  Doing as We Ought: Towards a Logic of Simply Dischargeable Obligations , 1996, DEON.

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

[32]  Andrew J. I. Jones,et al.  Deontic database constraints, violation and recovery , 1996, Stud Logica.

[33]  Filipe Santos,et al.  Indirect Action, Influence and Responsibility , 1996, DEON.

[34]  Andrew J. I. Jones,et al.  A NEW APPROACH TO CONTRARY-TO-DUTY OBLIGATIONS , 1997 .

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

[36]  Gunter Saake,et al.  Logics for databases and information systems , 1998 .

[37]  Frank Dignum,et al.  The Role of Deontic Logic in the Specification of Information Systems , 1998, Logics for Databases and Information Systems.

[38]  Leon van der Torre,et al.  Input/Output Logics , 2000, J. Philos. Log..

[39]  Leon van der Torre,et al.  Constraints for Input/Output Logics , 2001, J. Philos. Log..

[40]  R. Thomason.  Combinations of Tense and Modality , 2002 .

[41]  Marek J. Sergot,et al.  Deontic logic in the representation of law: Towards a methodology , 2004, Artificial Intelligence and Law.

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

[43]  Marvin Belzer,et al.  Dyadic deontic detachment , 2004, Synthese.