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
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献