A logical framework for coalitional effectivity in dynamic procedures

Bulletin of Economic Research

Volumn 53, Issue 4, 2001, Pages 305-324

  Pauly, Marc ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0010247020     PISSN: 03073378     EISSN: None     Source Type: Journal    
DOI: 10.1111/1467-8586.00136     Document Type: Article

References (13)

1. Abdou, J. (1998). 'Rectangularity and tightness: a normal form characterization of perfect information extensive game forms', Mathematics of Operations Research, vol. 23, no. 3, pp. 553-67.
2. Abdou, J. and Keiding, H. (1991). Effectively Functions in Social Choice. Kluwer.
3. Binmore, K. (1992). Fun and Games: A Text on Game Theory. Heath.
4. Dijkstra, E. (1976). A Discipline of Programming. Prentice-Hall.
5. Harel, D. (1984). 'Dynamic logic', in: Gabbay, D. and Guenthner, F. (eds), Handbook of Philosophical Logic, vol. II. Reidel.
6. Kozen, D. and Tiuryn, J. (1990). 'Logics of programs', in: Jan van Leeuwen (ed.), Handbook of Theoretical Computer Science, vol. B. MIT Press.
7. Moulin, H. (1983). The Strategy of Social Choice. North-Holland.
8. Moulin, H. and Peleg, B. (1982). 'Cores of effectivity functions and implementation theory', Journal of Mathematical Economics, vol. 10, no. 1, pp. 115-45.
9. Osborne, M. and Rubinstein, A. (1994). A Course in Game Theory. MIT Press.
10. Parikh, R. (1985). 'The logic of games and its applications', in: Karpinski, M. and van Leeuwen, J. (eds), Topics in the Theory of Computation, vol. 24 of Annals of Discrete Mathematics. Elsevier.
11. Pauly, M. (2000). 'A modal logic for coalitional power in games', Journal of Logic and Computation (in press).
12. Peleg, B. (1998). 'Effectivity functions, game forms, games and rights', Social Choice and Welfare, vol. 15, pp. 67-80.
13. Vannucci, S. (2000). 'Effectivity functions and parliamentary governance structures', in: Patrone, F., García-Jurado, I. and Tijs, S. (eds), Game Practice: Contributions from Applied Game Theory, pp. 225-39. Kluwer.