Skip to main content
SpringerLink
Log in

A Deontic Logic for Socially Optimal Norms

  • 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

The paper discusses the interaction properties between preference and choice of coalitions in a strategic interaction. A language is presented to talk about the conflict between coalitionally optimal and socially optimal choices. Norms are seen as social constructions that enable to enforce socially desirable outcomes.

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. Arrow, K.: Social Choice and Individual Values. Yale University Press (1970)

    Google Scholar 

  2. Borgo, S.: Coalitions in action logic. In: Proc. of IJCAI, pp. 1822–1827 (2007)

    Google Scholar 

  3. Broersen, J.: Modal action logics for reasoning about reactive systems. PhD-thesis Vrije Universiteit Amsterdam (2003)

    Google Scholar 

  4. Coleman, J.: Foundations of Social Theory. Belknap Harvard (1990)

    Google Scholar 

  5. Horty, J.: Deontic Logic and Agency. Oxford University Press, Oxford (2001)

    MATH  Google Scholar 

  6. Kooi, B., Tamminga, A.: Conflicting obligations in multi-agent deontic logic. In: Goble, L., Meyer, J.-J.C. (eds.) DEON 2006. LNCS (LNAI), vol. 4048, pp. 175–186. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  7. Mastop, R.: What can you do? imperative mood in semantic theory. PhD thesis, ILLC Dissertation Series (2005)

    Google Scholar 

  8. Osborne, M., Rubinstein, A.: A course in Game Theory. MIT Press, Cambridge (1994)

    Google Scholar 

  9. Parikh, R.: Social software. Synthese 132(3), 187–211 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  10. Pauly, M.: Logic for Social Software. ILLC Dissertation Series (2001)

    Google Scholar 

  11. van Benthem, J.: Minimal deontic logics. Bulletin of the Section of Logic 8(1), 36–42 (1979)

    MATH  MathSciNet  Google Scholar 

  12. van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics 14 (2004)

    Google Scholar 

  13. von Wright, G.: The logic of preference. Edimburgh University Press (1963)

    Google Scholar 

  14. Wright, G.V.: Deontic logic and the theory of conditions. In: Hilpinen, R. (ed.) Deontic Logic: Introductory and Systematic Readings, pp. 3–31 (1971)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universiteit Utrecht,  

    Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer & Paolo Turrini

Authors
  1. Jan Broersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rosja Mastop
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John-Jules Ch. Meyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Paolo Turrini
    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

Broersen, J., Mastop, R., Meyer, JJ.C., Turrini, P. (2008). A Deontic Logic for Socially Optimal Norms. 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_17

Download citation

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

  • 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