Contextual deontic logic (bibtex)
by L. van der Torre, Y. Tan
Abstract:
In this article we propose contextual deontic logic (CDL). Contextual obligations are written as O(ffjfinfl), and are to be read as `ff should be the case if fi is the case, unless fl 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 (L. van der Torre, Y. Tan), In Proceedings of the First International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'97), Rio de Janeiro, 1997.
Bibtex Entry:
@InProceedings{Torre1997j,
  Title                    = {Contextual deontic logic},
  Author                   = {van der Torre, L. and Tan, Y.},
  Booktitle                = {Proceedings of the First International and Interdisciplinary Conference on Modeling and Using Context (CONTEXT'97), Rio de Janeiro},
  Year                     = {1997},
  Pages                    = {1-12},

  Abstract                 = {In this article we propose contextual deontic logic (CDL). Contextual obligations are written as O(ffjfinfl), and are to be read as `ff should be the case if fi is the case, unless fl 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.},
  Timestamp                = {2013.07.26},
  Url                      = {http://icr.uni.lu/leonvandertorre/papers/context97.ps.Z}
}
Powered by bibtexbrowser