A normal simulation of coalition logic and an epistemic extension.

Jan Broersen Andreas Herzig Nicolas Troquard A normal simulation of coalition logic and an epistemic extension. 92-101 2007 TARK http://doi.acm.org/10.1145/1324249.1324264 conf/tark/2007 db/conf/tark/tark2007.html#BroersenHT07