1. Pietro Abate, Rajeev Goré, Florian Widmann, Cut-free single-pass tableaux for the logic of common knowledge, in: Workshop on Agents and Deduction at TABLEAUX 2007, 2007
2. About cut elimination for logics of common knowledge;Alberucci;Annals of Pure and Applied Logic,2005
3. Justified and common knowledge: Limited conservativity;Antonakos,2007
4. Justified common knowledge;Artemov;Theoretical Computer Science,2006
5. Kai Brünnler, Thomas Studer, Syntactic cut-elimination for common knowledge, in: Methods for Modalities, vol. 5 (in press)