Deontic logic

Jan Broersen (1) , Dov Gabbay (2) , Andreas Herzig (3) , Emiliano Lorini (3) , John-Jules Meyer (1) , Xavier Parent (4) , Leendert W. N. van Der Torre (4)

1 Universiteit Utrecht
2 King‘s College London
3 IRIT-LILaC - Logique, Interaction, Langue et Calcul
4 University of Luxembourg [Luxembourg]

Deontic logic is the logic of obligation and permission. In the literature it has mainly been studied in terms of a list of problems and that is the way we chose to present it in this section. There are three main categories of problems. The first category is concerned with the nature of norms. The second category concerns phenomena of conflict, violation and revision. Finally, the third category studies deontic phenomena in the context of other logical structures.

Domaines: Intelligence artificielle [cs.AI]

Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, et al.. Deontic logic. Ossowski, Sascha. Agreement Technologies, 8, Springer, pp.171-180, 2012, Law, Governance and Technology Series book series (LGTS), 978-94-007-5582-6. ⟨10.1007/978-94-007-5583-3_10⟩. ⟨hal-03464943⟩