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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
https://hal.inria.fr/inria-00556080
Contributor : Guillaume Aucher <>
Submitted on : Sunday, September 8, 2013 - 7:24:41 PM
Last modification on : Monday, September 9, 2013 - 1:44:35 PM
Long-term archiving on : Monday, December 9, 2013 - 4:23:09 AM

File

10.1007-978-3-642-16524-5_10.p...
Publisher files allowed on an open archive

Identifiers

  • 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. ⟨inria-00556080v2⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

160

Files downloads

218

Contact


archive-ouverte@inria.fr