Repository | Journal | Volume | Articles
(2009) Synthese 169 (2).
In this paper, a logic for reasoning about coalitional power is developed which explicitly represents agents’ preferences and the actions by which the agents can achieve certain results. A complete axiomatization is given and its satisfiability problem is shown to be decidable and EXPTIME-hard.
Publication details
DOI: 10.1007/s11229-009-9551-7
Full citation:
Kurzen, L. (2009). Reasoning about cooperation, actions and preferences. Synthese 169 (2), pp. 223-240.