Pauly, M. Modeling Coalitional Power in Modal Logic. Proceedings of the AC 1999, 205-210. https://doi.org/10.53437/czhcq743.