The Coinductive Formulation of Common Knowledge.

Colm Baston, Venanzio Capretta

Browse the full ITP paper archive.