Skip to main content
SpringerLink
Log in
Book cover

International Conference on Deontic Logic in Computer Science

DEON 2008: Deontic Logic in Computer Science pp 189–202Cite as

On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G

  • Conference paper

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

Abstract

Åqvist’s dyadic deontic logic G, which aims at providing an axiomatic characterization of Hansson’s seminal system DSDL3 for conditional obligation, is shown to be strongly complete with respect to its intended modelling.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hansson, B.: An analysis of some deontic logics. Noûs 4, 373–398 (1969)

    Article  MathSciNet  Google Scholar 

  2. Mott, P.: On Chisholm’s paradox. Journal of Philosophical Logic 2, 197–211 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  3. Tomberlin, J.: Contrary-to-duty imperatives and conditional obligation. Noûs 16, 357–375 (1981)

    Article  MathSciNet  Google Scholar 

  4. Loewer, B., Belzer, M.: Dyadic deontic detachment. Synthese 54, 295–318 (1983)

    Article  MathSciNet  MATH  Google Scholar 

  5. Prakken, H., Sergot, M.: Dyadic deontic logic and contrary-to-duty obligation. In: [29], pp. 223–262

    Google Scholar 

  6. van der Torre, L., Tan, Y.H.: The many faces of defeasibility in defeasible deontic logic. In: [29], pp. 79–121

    Google Scholar 

  7. Carmo, J., Jones, A.: Deontic logic and contrary-to-duties. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 265–343. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  8. Parent, X.: Remedial interchange, contrary-to-duty obligation and commutation. Journal of Applied Non-Classical Logics 3/4, 345–375 (2003)

    Article  Google Scholar 

  9. Spohn, W.: An analysis of Hansson’s dyadic deontic logic. Journal of Philosophical Logic 4, 237–252 (1975)

    Article  MathSciNet  MATH  Google Scholar 

  10. Åqvist, L.: An Introduction to Deontic logic and the Theory of Normative Systems, Bibliopolis, Naples (1987)

    Google Scholar 

  11. Åqvist, L.: Deontic logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 8, pp. 147–264. Kluwer Academic Publishers, Dordrecht (2002)

    Google Scholar 

  12. Goranko, V., Passy, S.: Using the universal modality: Gains and questions. Journal of Logic and Computation 2, 5–30 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  13. Sen, A.: Maximization and the act of choice. Econometrica 65, 745–779 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  14. Makinson, D.: Bridges from Classical to Nonmonotonic logic. King’s College Publications, London (2005)

    MATH  Google Scholar 

  15. Schlechta, K.: Coherent Systems. Elsevier, Amsterdam (2004)

    MATH  Google Scholar 

  16. Lewis, D.: Counterfactuals. Blackwell, Oxford (1973)

    Google Scholar 

  17. Parent, X.: Non-monotonic Logics and Modes of Argumentation − The Case of Conditional Obligation. PhD thesis, University of Aix-Marseille I, France (2002)

    Google Scholar 

  18. Kraus, S., Lehmann, D., Magidor, M.: Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence 44, 167–207 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  19. Lehmann, D., Magidor, M.: What does a conditional knowledge base entail? Artificial Intelligence 55, 1–60 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  20. Goble, L.: A proposal for dealing with deontic dilemmas. In: Lomuscio, A., Nute, D. (eds.) DEON 2004. LNCS (LNAI), vol. 3065, pp. 74–113. Springer, Heidelberg (2004)

    Google Scholar 

  21. Chellas, B.: Modal Logic. Cambridge University Press, Cambridge (1980)

    MATH  Google Scholar 

  22. Blackburn, P., de Rijke, M., de Venema, Y.: Modal Logic, vol. 53. Cambrigde University Press, Cambridge (2001)

    MATH  Google Scholar 

  23. Åqvist, L.: A completeness theorem in deontic logic with systematic frame constants. Logique & Analyse 36, 177–192 (1993)

    MATH  Google Scholar 

  24. Hansen, J.: On relations between Åqvist’s deontic system G and van Eck’s deontic temporal logic. In: Mc Namara, P., Prakken, H. (eds.) Norms, Logics and Information Systems. Frontiers in Artificial Intelligence and Applications, pp. 127–144. IOS Press, Amsterdam (1999)

    Google Scholar 

  25. Makinson, D.: General patterns in nonmonotonic reasoning. In: Gabbay, D., Hogger, C., Robinson, J. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, pp. 35–110. Clarendon Press, Oxford (1994)

    Google Scholar 

  26. Boutilier, G.: Unifying default reasoning and belief revision in a modal framework. Artificial Intelligence 68, 33–85 (1994)

    Article  MathSciNet  MATH  Google Scholar 

  27. van der Torre, L., Tan, Y.H.: Contrary-to-duty reasoning with preference-based dyadic obligations. Annals of Mathematics and Artificial Intelligence 27(1-4), 49–78 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  28. Makinson, D.: General theory of cumulative inference. In: Reinfrank, M., Ginsberg, M.L., de Kleer, J., Sandewall, E. (eds.) Non-Monotonic Reasoning 1988. LNCS, vol. 346, pp. 1–18. Springer, Heidelberg (1989)

    Google Scholar 

  29. Nute, D. (ed.): Defeasible Deontic Logic. Kluwer Academic Publishers, Dordrecht (1997)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1.  , 54 avenue de l’Elisa, 83100, Toulon, France

    Xavier Parent

Authors
  1. Xavier Parent
    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

Parent, X. (2008). On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G . 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_15

Download citation

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

  • 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