Sciweavers

Share
JANCL
2007

Distributed knowledge

9 years 7 months ago
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.
Floris Roelofsen
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2007
Where JANCL
Authors Floris Roelofsen
Comments (0)
books