Prescriptive and descriptive obligations in dynamic epistemic deontic logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Prescriptive and descriptive obligations in dynamic epistemic deontic logic

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.
Fichier principal
Vignette du fichier
AICOL2010.PDF (117.03 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00556080 , version 1 (17-01-2011)
inria-00556080 , version 2 (08-09-2013)

Identifiants

  • HAL Id : inria-00556080 , version 1

Citer

Guillaume Aucher, Guido Boella, Leendert van Der Torre. Prescriptive and descriptive obligations in dynamic epistemic deontic logic. AI Approaches to the Complexity of Legal Systems, Dec 2009, Rotterdam, Netherlands. pp.150-161. ⟨inria-00556080v1⟩
87 Consultations
398 Téléchargements

Partager

Gmail Facebook X LinkedIn More