Reasoning about cooperation, actions and preferences
pp. 223-240
Abstract
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
Published in:
Ågotnes Thomas, van Benthem Johan, Pacuit Eric (2009) Knowledge, rationality & action. Synthese 169 (2).
Pages: 223-240
DOI: 10.1007/s11229-009-9551-7
Full citation:
Kurzen Lena (2009) „Reasoning about cooperation, actions and preferences“. Synthese 169 (2), 223–240.