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.
In a companion paper REF we show how to express the distinction between descriptive and prescriptive obligations in dynamic epistemic deontic logic.
Prescriptive and descriptive obligations in dynamic epistemic deontic logic
Proceedings of the 10th International Conference on Deontic Logic in Computer Science (DEON 2010), volume 6181 of LNAI
Mathematics Computer Science