Skip to main content
SpringerLink
Log in

Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction

  • Conference paper
Logic, Rationality, and Interaction (LORI 2009)

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

Included in the following conference series:

  • 612 Accesses

Abstract

Cooperation of agents is a major issue in fields such as computer science, economics and philosophy. The conditions under which coalitions are formed occur in various situations involving multiple agents.

Various modal logic (ML) frameworks have been developed for reasoning about coalitional power; an important one is Coalition Logic (CL) [7], using modalities of the form 〈[C〉]φ saying “coalition C has a joint strategy to ensure that φ”. CL has neighborhood semantics but can be simulated on Kripke models [3]. Another class of cooperation logics explicitly represents the strategies and actions by which groups can achieve something [8].

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Ågotnes, T., Dunne, P.E., van der Hoek, W., Wooldridge, M.: Logics for coalitional games. In: LORI 2007, Beijing, China (2007)

    Google Scholar 

  2. Ågotnes, T., Dunne, P.E., van der Hoek, W., Wooldridge, M.: Reasoning about coalitional games. Artificial Intelligence 173(1), 45–79 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  3. Broersen, J., Herzig, A., Troquard, N.: Normal Coalition Logic and its conformant extension. In: TARK 2007, pp. 91–101 (2007)

    Google Scholar 

  4. Dégremont, C., Kurzen, L.: Modal logics for preferences and cooperation: Expressivity and complexity. In: ILLC PP-2008-39, University of Amsterdam (2008)

    Google Scholar 

  5. Girard, P.: Modal Logic for Preference Change. PhD thesis, Stanford (2008)

    Google Scholar 

  6. Kurzen, L.: Reasoning about cooperation, actions and preferences. Synthese 169(2), 223–240 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  7. Pauly, M.: A modal logic for coalitional power in games. Journal of Logic and Computation 12(1), 149–166 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  8. Walther, D., van der Hoek, W., Wooldridge, M.: Alternating-time temporal logic with explicit strategies. In: TARK 2007, pp. 269–278 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ILLC, Universiteit van Amsterdam, the Netherlands

    Cédric Dégremont & Lena Kurzen

Authors
  1. Cédric Dégremont
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lena Kurzen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Logic and Intelligence, Southwest University, 2, Tiansheng Road, 400715, Chongqing, China

    Xiangdong He

  2. Philosophy Department, University of Maryland, Institute for Advanced Computer Studies (UMIACS), 20742, College Park, MD, USA

    John Horty

  3. Center for Logic and Philosophy of Science, Tilburg University, Dante Building, 5000, Tilburg, LE, The Netherlands

    Eric Pacuit

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dégremont, C., Kurzen, L. (2009). Getting Together: A Unified Perspective on Modal Logics for Coalitional Interaction. In: He, X., Horty, J., Pacuit, E. (eds) Logic, Rationality, and Interaction. LORI 2009. Lecture Notes in Computer Science(), vol 5834. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04893-7_26

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04893-7_26

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04892-0

  • Online ISBN: 978-3-642-04893-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation