Help Privacy Policy Disclaimer
  Advanced SearchBrowse




Book Chapter

An update semantics for deontic reasoning


van der Torre,  Leendert W. N.
Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)
There are no public fulltexts stored in PuRe
Supplementary Material (public)
There is no public supplementary material available

van der Torre, L. W. N., & Tan, Y.-H. (1999). An update semantics for deontic reasoning. In P. McNamara, & H. Prakken (Eds.), Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science (pp. 73-90). Amsterdam, the Netherlands: IOS Press.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-3626-E
In this paper we propose the deontic logic DUS, that formalizes reasoning about prescriptive obligations in update semantics. In DUS the definition of logical validity of obligations is not based on truth values but on action dynamics. You know the meaning of a normative sentence if you know the change it brings about in the ideality relation of anyone the news conveyed by the norm applies to.