The Coinductive Formulation of Common Knowledge
(2018)
Conference Proceeding
© 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.