Reasoning about coalitional games