Pauly, M. 1999. Modeling Coalitional Power in Modal Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1999), 205–210.