Logic for social software

Authors	M. Pauly
Supervisors	J.F.A.K. van Benthem
Award date	13-12-2001
Organisations	Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	PhD thesis
Note	Research conducted at: ILLC
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
Permalink to this page

Back

UvA-DARE