论文信息 - Distributed knowledge

Distributed knowledge

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 the expressive power of distributed knowledge operators.

Floris Roelofsen | F. Roelofsen

[1] Ronald Fagin,et al. Reasoning about knowledge , 1995 .

[2] J. Benthem. One is a Lonely Number: on the logic of communication , 2003 .

[3] Jelle Gerbrandy,et al. Dynamic epistemic logic , 1998 .

[4] J.F.A.K. van Benthem,et al. Modal Correspondence Theory , 1977 .

[5] K. Fine. Some Connections Between Elementary and Modal Logic , 1975 .

[6] Richard Spencer-Smith,et al. Modal Logic , 2007 .

[7] Johan van Benthem,et al. Open Problems in Logical Dynamics , 2006 .

[8] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[9] Rohit Parikh,et al. The Logic of Communication Graphs , 2004, DALT.

[10] John-Jules Ch. Meyer,et al. Group knowledge is not always distributed (neither is it always implicit) ? ? This is an improved an , 1999 .

[11] J. Gerbrandy. Bisimulations on Planet Kripke , 1999 .

[12] Floris Roelofsen,et al. Exploring Logical Perspectives on Distributed Information and its Dynamics , 2005 .