Errata: Syntactic cut-elimination for common knowledge


The statement of Lemma 12 (Quasi-invertibility of the Box-Rule) is wrong. A correct version of this lemma and of embedding deep into shallow is available here.