The Coinductive Formulation of Common Knowledge
(2018)
Conference Proceeding
Baston, C., & Capretta, V. (2018). The Coinductive Formulation of Common Knowledge. https://doi.org/10.1007/978-3-319-94821-8_8
© 2018, Springer International Publishing AG, part of Springer Nature. We study the coinductive formulation of common knowledge in type theory. We formalise both the traditional relational semantics and an operator semantics, similar in form to the e... Read More about The Coinductive Formulation of Common Knowledge.