Distributed knowledge

ABSTRACT. This paper provides a complete characterization of epistemic models in which distributed knowledge complies with the principle of full communication [HOE 99, GER 99]. It also introduces an extended notion of bisimulation and corresponding model comparison games that match the expressive power of distributed knowledge operators.

• Type: Journal
• Year: 2007
• Where: JANCL
• Authors: Floris Roelofsen
• Keywords: Complete Characterization, Epistemic Models, JANCL 2007, Model Comparison Games