Ågotnes, Thomas, Alechina, Natasha, "Coalition logic with individual, distributed and common knowledge", Journal of Logic and Computation,