Deduction chains for common knowledge. - Mathis Kretz; Thomas Studer (J. Appl. Log., 2006)

Cut-free common knowledge. - Gerhard Jäger; Mathis Kretz; Thomas Studer (J. Appl. Log., 2007)

Canonical completeness of infinitary mu. - Gerhard Jäger; Mathis Kretz; Thomas Studer (J. Log. Algebraic Methods Program., 2008)