Cut-Free Single-pass Tableaux for the Logic of Common Knowledge

We are going to present this paper at a satellite workshop at TABLEAUX 2007 : http://tableaux2007.univ-cezanne.fr/scientific-program.html