Affiliation:
1. Department of Philosophy, Stockholm University, 10691 Stockholm, Sweden
Abstract
This paper is an overview of some recent and ongoing developments of formal logical systems designed for reasoning about systems of rational agents who act in pursuit of their individual and collective goals, explicitly specified in the language as arguments of the strategic operators, in a socially interactive context of collective objectives and attitudes which guide and constrain the agents’ behavior.
Reference48 articles.
1. The logic of games and its applications;Parikh;North-Holl. Math. Stud.,1985
2. On the Logic of Ability;Brown;J. Philos. Log.,1988
3. Seeing to it that: A canonical form for agentives;Belnap;Theoria,1988
4. Pauly, M. (2001). Logic for Social Software. [Ph.D. Thesis, University of Amsterdam].
5. A Modal Logic for Coalitional Power in Games;Pauly;J. Log. Comput.,2002