Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Colm Baston"'
Autor:
Venanzio Capretta, Colm Baston
Publikováno v:
Interactive Theorem Proving ISBN: 9783319948201
ITP
ITP
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 epistemic system S5, but at the level of events on possible worlds rathe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d35b7d0099ac4136968776cbf897b208
https://doi.org/10.1007/978-3-319-94821-8_8
https://doi.org/10.1007/978-3-319-94821-8_8
