inria-00556080, version 2
Prescriptive and descriptive obligations in dynamic epistemic deontic logic
Guillaume Aucher
1Guido Boella 2Leendert Van Der Torre 3
AICOL - AI Approaches to the Complexity of Legal Systems - 2009 (2009) 150-161
Résumé : Normative sentences can be used to change or to describe the normative system, known as prescriptive and descriptive obligations respectively. In applications of deontic logic it is important to distinguish these two uses of normative sentences. In this paper we show how they can be distinguished and analysed in a dynamic epistemic deontic logic.
- 1 : University of Luxembourg, Computer Science Department
- University of Luxembourg
- 2 : Dipartimento di Informatica [Torino]
- Università di Torino
- 3 : Individual and Collective Reasoning (ICR)
- University of Luxembourg
- Domaine : Informatique/Logique en informatique
- Versions disponibles : v1 (23-01-2011) v2 (09-09-2013)
- inria-00556080, version 2
- http://hal.inria.fr/inria-00556080
- oai:hal.inria.fr:inria-00556080
- Contributeur : Guillaume Aucher
- Soumis le : Dimanche 8 Septembre 2013, 19:24:41
- Dernière modification le : Lundi 9 Septembre 2013, 13:44:35
Documents associés
Exporter