1. Luca Alberucci, About cut elimination for logics of common knowledge, part II (in preparation)
2. Luca Alberucci, The Modal μ-Calculus and the Logic of Common Knowledge, Ph.D. Thesis, Institut für Informatik und angewandte Mathematik, Universität Bern, 2002
3. Three views of common knowledge;Barwise,1988
4. The Situation in Logic;Barwise,1989
5. Reasoning about Knowledge;Fagin,1995