Prescriptive and descriptive obligations in dynamic epistemic deontic logic

Guillaume Aucher 1 Guido Boella 2 Leendert Van Der Torre 3
1 University of Luxembourg, Computer Science Department
2 Dipartimento di Informatica [Torino]
3 ICR - Individual and Collective Reasoning
Abstract : 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.
Type de document :
Communication dans un congrès
AICOL - AI Approaches to the Complexity of Legal Systems - 2009, Dec 2009, Rotterdam, Netherlands. pp.150-161, 2010
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger
https://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
Document(s) archivé(s) le : lundi 9 décembre 2013 - 04:23:09

Fichier

10.1007-978-3-642-16524-5_10.p...
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : inria-00556080, version 2

Citation

Guillaume Aucher, Guido Boella, Leendert Van Der Torre. Prescriptive and descriptive obligations in dynamic epistemic deontic logic. AICOL - AI Approaches to the Complexity of Legal Systems - 2009, Dec 2009, Rotterdam, Netherlands. pp.150-161, 2010. 〈inria-00556080v2〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

135

Téléchargements de fichiers

115

Contact


archive-ouverte@inria.fr