A normal simulation of coalition logic and an epistemic extension.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

Browse the full TARK paper archive.