Pauly, M. Modeling Coalitional Power in Modal Logic. Proceedings of the AC 1999, 205-210.