Reasoning about cooperation, actions and preferences
Lena Kurzen · Synthese · 2009
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.