Marc Pauly A Modal Logic for Coalitional Power in Games. 149-166 2002 12 J. Log. Comput. 1 http://dx.doi.org/10.1093/logcom/12.1.149 db/journals/logcom/logcom12.html#Pauly02