Handbook of Deontic Logic and Normative Systems
Volumes 1 and 2
Editors: Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden and Leon van der Torre
Volume 1 out!
Link to digital version on publisher's web site
Volume 2 planned for publication in 2015/16
0) SURVEY. Like all handbooks, the articles will give a survey of the area (2/3) and may also contain a more personal view (1/3). For the survey part, at least the work reported in the DEON conference series should be discussed, all abstracts can be searched on this website
1) FORWARD LOOKING. Instead of a historical overview only, we will make a forward looking volume, focussing on new developments. History is restricted to two chapters.
2) PROBLEM DRIVEN. We distinguish logical problems (permission, counts-as, ctd, dilemmas, etc) from formalisms (SDL, DSDL, input/output logic, etc) and applications (electronic commerce, security, specification and verifiction, norm compliance, normative multiagent systems, etc). In other words, we do not just collect logical systems and subsequent 'problems', but we start from what you can do with deontic logic and formal systems of normative reasoning.
3) NO APPLICATIONS IN VOLUME 1. The first volume is on foundations. The second foreseen volume is on appplications and will build on the first one. In general, we do not emphasize the many major areas where deontic ideas play: philosophy, law, computer science, economics, etc. - and then present the logic as an answer to a Genuine Problem: finding the common patterns, allowing for 'trade in ideas'. The applications starting point is not feasible, because applications are not well developed yet (this is the reason why we put them a second volume). Note: this is analogous to the situation for the quantum logic handbook, where they did a second volume on applications.
4) NUMBER OF VOLUMES IS OPEN. For example, there may be a third volume on applications in law.
5) BROAD. In the first volume, we appeal to all disciplines, including logic, computer science, law, philosophy, linguistics
6) COMPREHENSIVE. It can be as long as it takes, both for chapters as for whole volume. Though there are no page limits, we estimate articles of 50 pages. For each volume, there is a maximum of 820 pages for publishing reasons.
7) CHEAP. It is published by College Publications (authors keep their copyright), which sell books at a cheap price (approx. 20 euros). Main reason is that the book should be affordable for student courses.
Table of Contents - volume 1
Preface Part 1 - BACKGROUND
- Deontic logic: a historical survey and introduction (R. Hilpinen and P. McNamara)
- Imperatives logic and its problems (J. Hansen)
- The varieties of permissions (S.O. Hansson)
- Prima facie norms, normative conflicts and dilemmas (L. Goble)
- The theory of normative positions (M. Sergot)
- Constitutive norms and counts as conditionals (D. Grossi and A. Jones)
- Alternative semantics for deontic logic (S.O. Hansson)
- Input/output logic (X. Parent and L. van der Torre)
- The theory of joining systems (L. Lindahl and J. Odelstad)
Table of Contents - volume 2
Preface Part 1 - FURTHER BACKGROUND
- Preference-based dyadic deontic logic in Hansson's tradition (X. Parent)
- Logics for supererogation and allied normative concepts (P. McNamara)
- Contrary-to-duties (M. Sergot)
- Imperative logic (J. Hansen)
- Adaptive logic (M. Beirlaen, F. Van De Putte and J. Meheus)
- Dynamic deontic logic
- Actions and deontic logic (J. Broersen and J.-J. Ch. Meyer)
- Norm change (G. Pigozzi and L. van der Torre)
- Deontic logic and changing preferences (J. van Benthem and F. Liu)
- Reactive approaches (D. Gabbay)
- The formalization of practical reasoning: problems and prospects (R. Thomason)
- Deontic logic and natural language (K. van Fintel and T. Gillies)
- Deontic logic and legal reasoning (G. Sartor, G. Governatori and A. Rotolo)
- Modalities for access control (D. Garg)
- Norm compliance (G. Governatori)
- Policies in distributed systems
- Deontic logic and ethics
- Deontic logic and games