An update semantics for deontic reasoning (bibtex)
by L. van der Torre, Y. Tan
Abstract:
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 betterness relation of anyone who is subjected to the news conveyed by it.
Reference:
An update semantics for deontic reasoning (L. van der Torre, Y. Tan), In Proceedings of the Fourth Workshop on Deontic Logic in Computer Science (Deon'98), 1998.
Bibtex Entry:
@InProceedings{Torre1998j,
  Title                    = {An update semantics for deontic reasoning},
  Author                   = {van der Torre, L. and Tan, Y.},
  Booktitle                = {Proceedings of the Fourth Workshop on Deontic Logic in Computer Science (Deon'98)},
  Year                     = {1998},
  Pages                    = {409-426},

  Abstract                 = {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 betterness relation of anyone who is subjected to the news conveyed by it.},
  Date-modified            = {2011-12-20 17:14:13 +0100},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/deon98full.ps.Z}
}
Powered by bibtexbrowser