Models of Strategic Reasoning

Logics, Games, and Communities

  • Johan van Benthem
  • Sujata Ghosh
  • Rineke Verbrugge

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8972)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 8972)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Reasoning About Games

  3. Formal Frameworks for Strategies

    1. Front Matter
      Pages 91-91
    2. Nils Bulling, Valentin Goranko, Wojciech Jamroga
      Pages 93-136
    3. Jan Broersen, Andreas Herzig
      Pages 137-173
    4. Soumya Paul, R. Ramanujam, Sunil Simon
      Pages 174-201
    5. Gabriel Sandu
      Pages 202-251
  4. Strategies in Social Situations

    1. Front Matter
      Pages 253-253
    2. Jan van Eijck
      Pages 292-317
  5. Future Perspective

    1. Front Matter
      Pages 319-319
    2. Johan van Benthem
      Pages 321-332
  6. Back Matter
    Pages 333-333

About this book


Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants’ aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies.


Automated reasoning Dynamic games First-order logic Multi-agent systems Social software Automata Belief revision Dynamic epistemic logic Epistemic game theory Game theory Game-theoretical semantics Infinite games Modal logic Opinion dynamics Rationality Signaling games Strategic logic Strategies Temporal logic Theory of actions

Editors and affiliations

  • Johan van Benthem
    • 1
  • Sujata Ghosh
    • 2
  • Rineke Verbrugge
    • 3
  1. 1.Inst for Logic Language & ComputationUniversity of AmsterdamAmsterdamThe Netherlands
  2. 2.Indian Statistical InstituteChennaiIndia
  3. 3.Faculty of Math & Natural SciUniversity of GroningenGroningenThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2015
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-662-48539-2
  • Online ISBN 978-3-662-48540-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book