Abbreviations

For more information about the lecture halls and seminar rooms, see our lecture room page. The names listed under "Technical Assistance" are student volunteers who will act as a contact person for technical questions of the lecturers and workshop speakers during the course or workshop.

Deontic logic in computer science

Deontic logic studies the logical relations between normative concepts like obligation and permission. It developed as a branch of philosophical logic studying the normative use of language, and since the late 80s it has been studied in computer science for specification and verification, security and trust, and in normative multiagent systems. A popular biannual workshop on the topic is organized since 1990. Introductions to deontic logic start from the philosophical foundations, and consider neither computational aspects, nor applications in computer science. From a computational perspective, these introductions are less useful. This introduction is going to fill that gap. Each day will be organized around a formal system and exercises (also homework), but we also mention each day pointers to philosophical motivations and puzzles, and we discuss some applications in computer science. The introduction to the area of deontic logic in computer science is organized as follows: 1. Modal logic foundations 2. Rule based approaches (with applications in multiagent systems) 3. Temporal deontic logic (with applications in verification) 4. Nonmonotonic deontic logic (with applications in conflict resolution, fusion and legal systems) 5. Other approaches, open problems, outlook