The coinductive formulation of common knowledge

The coinductive formulation of common knowledge

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 rather than as a logical derivation system. We have two...

Full description

Bibliographic Details
Main Authors: Baston, Colm, Capretta, Venanzio
Format: Conference or Workshop Item
Language:English
Published: 2018
Online Access:https://eprints.nottingham.ac.uk/53576/

Similar Items

Similar Items