- Author
-
M. Pauly
- Title
- Logic for social software
- Supervisors
- Award date
- 13 December 2001
- Document type
- PhD thesis
- Faculty
- Interfacultary Research
- Institute
- Institute for Logic, Language and Computation (ILLC)
- Note
- Research conducted at: ILLC
- Persistent Identifier
- https://hdl.handle.net/11245/1.194561
- Downloads
-
Thesis
Cover
Titlepage
Contents
Acknowledgments
Abstract
Samenvatting
Chapter 1 Let the Games Begin
Chapter 2 Multi-Agent Models of Power
Chapter 3 Coalition Logic
Chapter 4 Extended Coalition Logic
Chapter 5 Applications of Coalition Logic
Chapter 6 Game Logic
Chapter 7 Game Logic over Kripke Models
Chapter 8 Game Over
Appendix A Fixpoint Facts
Bibliography
Index
List of symbols
Titles in the ILLC Dissertation Series:
Cover
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library, or send a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.