Skip to main content
SpringerLink
Log in

Reactive Kripke Models and Contrary to Duty Obligations

  • Conference paper
Deontic Logic in Computer Science (DEON 2008)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5076))

Included in the following conference series:

Abstract

This is an intuitive description of our approach to modelling contrary to duty obligations. We shall describe our ideas through the analysis of typical problematic examples taken from Carmo and Jones [6], L. van der Torre [14] and Prakken and Sergot [5].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Gabbay, D.M.: Reactive Kripke Semantics and Arc Accessibility. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds.) Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. LNCS, vol. 4800, pp. 292–341. Springer, Berlin (2008); Earlier version published. In: Carnielli, W., Dionesio, F. M., Mateus, P. (eds.) Proceeding of CombLog 2004, Centre of Logic and Computation University of Lisbon, pp. 7–20 (2004), http://www.cs.math.ist.utl.pt/comblog04/ ftp://logica.cle.unicamp.br/pub/e-prints/comblog04/gabbay.pdf

    Google Scholar 

  2. Gabbay, D.M., Barringer, H., Rydeheard, D.: Reactive Grammars. Draft

    Google Scholar 

  3. Gabbay, D.M., Crochemore, M.: Reactive Automata. Draft

    Google Scholar 

  4. Gabbay, D.M., D’Agostino, M.: Reactive Conditionals. Draft

    Google Scholar 

  5. Prakken, H., Sergot, M.J.: Contrary-to-duty obligations. Studia Logica 57(1), 91–115 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  6. Carmo, J., Jones, A.J.I.: Deontic Logic and Contrary-to-Duties. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 8, pp. 265–343. Springer, Heidelberg (2002)

    Google Scholar 

  7. Gabbay, D.M.: Reactive Proof Theory. Draft

    Google Scholar 

  8. Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulas, and Resource Overdraft: Part I. Logic Journal of the IGPL 10, 601–652 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  9. Gabbay, D.M., Rodrigues, O., Woods, J.: Belief Contraction, Anti-formulae and Resource Overdraft: Part II. In: Gabbay, D.M., Rahman, S., Symons, J., van Bendegem, J.-P. (eds.) Logic, Epistemology and the Unity of Science, pp. 291–326. Kluwer, Dordrecht (2004)

    Google Scholar 

  10. Gabbay, D.M., Reyle, U.: N-Prolog: An Extension of Prolog with Hypothetical Implications I. Journal of Logic Programming 1, 319–355 (1984)

    Article  MathSciNet  Google Scholar 

  11. Makinson, D., van der Torre, L.: Constraints for input-output logics. Journal of Philosophical Logic 30(2), 155–185 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  12. van der Torre, L.W.N., Tan, Y.-H.: The Temporal Analysis of Chisholm’s Paradox. In: Proceedings of the Fourteenth National Conference on Artificial Intelligence and the Ninth Innovative Applications of Artificial Intelligence Conference (1998)

    Google Scholar 

  13. Hansson, B.: Standard Dyadic Denotic Logic. Noûs 3, 373–398 (1969)

    Article  MathSciNet  Google Scholar 

  14. van der Torre, L.: Violated obligations in a defeasible deontic logic. In: Proceedings of ECAI 1994, Amsterdam, pp. 371–375 (1994)

    Google Scholar 

  15. Makinson, D.: Five faces of minimality. Studia Logica 52, 339–379 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  16. Broersen, J., van der Torre, L.: Reasoning About Norms, Obligations, Time and Agents. In: Proceedings of PRIMA 2007. LNCS. Springer, Heidelberg (to appear)

    Google Scholar 

  17. Broersen, J.: Modal Action Logics for Reasoning about Reactive Systems, Jan Broersen, PhD-thesis Vrije Universiteit Amsterdam (January 2003)

    Google Scholar 

  18. Hansen, J., Pigozzi, G., van der Torre, L.: Ten Philosophical Problems in Deontic Logic. In: Boella, G., van der Torre, L., Verhagen, H. (eds.) Normative Multi-agent Systems, Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2007)

    Google Scholar 

  19. Broersen, J., van der Torre, L.W.N.: Semantic Analysis of Chisholm’s Paradox. In: BNAIC 2005, pp. 28–34 (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. King’s College London,  

    Dov M. Gabbay

Authors
  1. Dov M. Gabbay
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ron van der Meyden Leendert van der Torre

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gabbay, D.M. (2008). Reactive Kripke Models and Contrary to Duty Obligations. In: van der Meyden, R., van der Torre, L. (eds) Deontic Logic in Computer Science. DEON 2008. Lecture Notes in Computer Science(), vol 5076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70525-3_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70525-3_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70524-6

  • Online ISBN: 978-3-540-70525-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation