@incollection{capretta:2007,
  author    = {Venanzio Capretta},
  title     = {Common Knowledge as a Coinductive Modality},
  pages     = {51--61},
  booktitle = {Reflections on Type Theory, Lambda Calculus, and the Mind},
  note      = {Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday},
  editor    = {Erik Barendsen and Herman Geuvers and Venanzio Capretta and Milad Niqui},
  publisher = {ICIS, Faculty of Science, Radbout University Nijmegen},
  year      = {2007}
}