NobleBlocks
Public
Top 50% journal in Computer Science

Distributed knowledge

Published in Journal of Applied Non-Classical Logics • Jan 1, 2007
Authors:
Floris Roelofsen

Abstract

This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication (van der Hoek et al., 1999; Gerbrandy, 1999). It also introduces an extended notion of bisimulation and corresponding model comparison games that match...

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!