The Coinductive Formulation of Common Knowledge. - Colm Baston; Venanzio Capretta (ITP, 2018)