ModelAge Workshop on Formal Models of Agents

Formal Models of Agents pp 240-251

Contextual Deontic Logic

  • Leendert W. N. van der Torre
  • Yao-Hua Tan
Conference paper

DOI: 10.1007/3-540-46581-2_16

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1760)
Cite this paper as:
van der Torre L.W.N., Tan YH. (1999) Contextual Deontic Logic. In: Meyer JJ.C., Schobbens PY. (eds) Formal Models of Agents. Lecture Notes in Computer Science, vol 1760. Springer, Berlin, Heidelberg


In this article we propose contextual deontic logic. Contextual obligations are written as O(α | βγ), and are to be read as ‘α should be the case if β is the case, unless 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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Leendert W. N. van der Torre
    • 1
  • Yao-Hua Tan
    • 2
  1. 1.Max-Planck-Institute for Computer ScienceSaarbrückenGermany
  2. 2.EuridisErasmus University RotterdamRotterdamThe Netherlands

Personalised recommendations