Reasoning about cooperation, actions and preferences

Lena Kurzen

pp. 223-240

in: Thomas Ågotnes, Johan van Benthem, Eric Pacuit (eds), Knowledge, rationality & action, Synthese 169 (2), 2009.

Abstrakt

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.