Dynamic Restriction of Choices: Synthesis of Societal Rules

  • Soumya Paul
  • R. Ramanujam
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6953)


We study a game model to highlight the mutual recursiveness of individual rationality and societal rationality. These are games that change intrinsically based on the actions / strategies played by the players. There is an implicit player - the society, who makes actions available to players and incurs certain costs in doing so. If and when it feels that an action a is being played by a small number of players and/or it becomes too expensive for it to maintain the action a, it removes a from the set of available actions. This results in a change in the game and the players strategise afresh taking this change into account.

We study the question: which actions of the players should the society restrict and how should it restrict them so that the social cost is minimised in the eventuality? We address two variations of the question: when the players are maximisers, can society choose an order of their moves so that social cost is minimised, and which actions may be restricted when players play according to given strategy specifications.


Leaf Node Social Cost Epistemic Logic Evolutionary Game Theory Dynamic Restriction 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alur, R., Henzinger, T., Kupferman, O.: Alternating-time temporal logic. Journal of ACM 49(5), 672–713 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    van Benthem, J.: Games in dynamic epistemic logic. Bulletin of Economic Research 53(4), 219–248 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    van Benthem, J.: Extensive games as process models. Journal of Logic Language and Information 11, 289–313 (2002)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    van Benthem, J.: In praise of strategies. In: van Eijck, J., Verbrugge, R. (eds.) Foundations of Social Software. Studies in Logic, pp. 283–317. College Publications (2007)Google Scholar
  5. 5.
    Binmore, K., Samuelson, L.: Evolutionary drift and equilibrium selection. Review of Economic Studies 66, 363–393 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Blonski, M.: Anonymous games with binary actions. Games and Economic Behaviour 28, 171–180 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Blonski, M.: Characterisation of pure strategy equilibria in finite anonymous games. Journal of Mathematical Economics 34, 225–233 (2000)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Bonano, G.: Branching time logic, perfect information games and backward induction. Games and Economic Behaviour 36(1), 57–73 (2001)CrossRefGoogle Scholar
  9. 9.
    Brandt, F., Fischer, F., Holzer, M.: Symmetries and the complexity of pure nash equilibrium. Journal of Computer and System Sciences 75(3), 163–177 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Daskalakis, C., Papadimitriou, C.H.: Computing equilibria in anonymous games. In: Proceedings of the 48th Symposium on Foundations of Computer Science (FOCS), pp. 83–93. IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
  11. 11.
    Ehrenfeucht, A., Mycielski, J.: Position strategies for mean payoff games. International Journal of Game Theory 8, 109–113 (1979)MathSciNetCrossRefzbMATHGoogle Scholar
  12. 12.
    Ghosh, S.: Strategies made explicit in dynamic game logic. In: Logic and the Foundations of Game and Decision Theory (2008)Google Scholar
  13. 13.
    Hashimoto, T., Kumagai, Y.: Meta-evolutionary game dynamics for mathematical modelling of rules dynamics. In: Banzhaf, W., Ziegler, J., Christaller, T., Dittrich, P., Kim, J.T. (eds.) ECAL 2003. LNCS (LNAI), vol. 2801, pp. 107–117. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  14. 14.
    van der Hoek, W., Jamroga, W., Wooldridge, M.: A logic for strategic reasoning. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multi-Agent Systems, pp. 157–164 (2005)Google Scholar
  15. 15.
    van der Hoek, W., Wooldridge, M.: Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications. Studia Logica 75(1), 125–157 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Horst, U.: Dynamic systems of social interactions. In: NSF/CEME Mathematical Economics Conference at Berkeley (2005)Google Scholar
  17. 17.
    Jamroga, W., van der Hoek, W., Wooldridge, M.: Intentions and strategies in game-like scenarios. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol. 3808, pp. 512–523. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  18. 18.
    Parke, W., Waters, G.: An evolutionary game theory explanation of ARCH effects. Journal of Economic Dynamic and Control 31, 2234–2262 (2007)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Paul, S., Ramanujam, R., Simon, S.: Dynamic restriction of choices: A preliminary logical report. In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 218–226 (2009)Google Scholar
  20. 20.
    Peyton Young, H.: The diffusion of innovations in social networks. Economics Working Paper Archive 437, The Johns Hopkins University, Department of Economics (May 2000)Google Scholar
  21. 21.
    Ramanujam, R., Simon, S.: Dynamic logic on games with structured strategies. In: Proceedings of the Conference on Principles of Knowledge Representation and Reasoning, pp. 49–58 (2008)Google Scholar
  22. 22.
    Skyrms, B., Pemantle, R.: A dynamic model of social network formation. Proceedings of the National Academy of Sciences 97(16), 9340–9346 (2000)CrossRefzbMATHGoogle Scholar
  23. 23.
    Weibull, J.W.: Evolutionary Game Theory. MIT Press, Cambridge (1997)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Soumya Paul
    • 1
  • R. Ramanujam
    • 1
  1. 1.The Institute of Mathematical SciencesChennaiIndia

Personalised recommendations