Reasoning about coalitional agency and ability in the logics of 'bringing-it-about'

摘要

The logics of "bringing-it-about" have been part of a prominent tradition for the formalization of individual and institutional agency. They are the logics to talk about what states of affairs an acting entity brings about while abstracting away from the means of action. Elgesem's proposal analyzes the agency of individual agents as the goal-directed manifestation of an individual ability. It has become an authoritative modem reference. The first contribution of this paper is to extend Elgesem's logic of individual agency and ability to coalitions. We present a general theory and later propose several possible specializations. As a second contribution, we offer algorithms to reason with the logics of bringing-it-about and we analyze their computational complexity.