Contextual Deontic Logic (bibtex)
by Leendert W. N. van der Torre, Yao-Hua Tan
Abstract:
In this article we propose contextual deontic logic (CDL). Contextual obligations are written as O(A | B \ C), and are to be read as `A should be the case if B is the case, unless C is the case'. The unless clause is analogous to the justification in Reiter's default rules. We show how contextual obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic logic.
Reference:
Contextual Deontic Logic (Leendert W. N. van der Torre, Yao-Hua Tan), In ModelAge Workshop, 1997.
Bibtex Entry:
@InProceedings{Torre1997a,
  Title                    = {Contextual Deontic Logic},
  Author                   = {Leendert W. N. van der Torre and Yao-Hua Tan},
  Booktitle                = {ModelAge Workshop},
  Year                     = {1997},
  Pages                    = {240-251},

  Abstract                 = {In this article we propose contextual deontic logic (CDL). Contextual obligations are written as O(A | B \ C), and are to be read as `A should be the case if B is the case, unless C is the case'. The unless clause is analogous to the justification in Reiter's default rules. We show how contextual obligations can be used to solve certain aspects of contrary-to-duty paradoxes of dyadic deontic logic. },
  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Crossref                 = {DBLP:conf/modelage/1997},
  Ee                       = {http://dx.doi.org/10.1007/3-540-46581-2_16},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/context97.ps.Z}
}
Powered by bibtexbrowser