Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Halpern, J.Y.: Using reasoning about knowledge to analyze distributed systems. Annu. Rev. Comput. Sci. 2, 37–68 (1987)
2. Halpern, J.Y., Moses, Y.: Knowledge and common knowledge in a distributed environment. Annu. Rev. Comput. Sci. 37(3), 549–587 (1990)
3. Fagin, R., Halpern, J.Y., Vardi, M.Y.: What can machines know?: on the properties of knowledge in distributed systems. J. Assoc. Comput. Mach. 39(2), 328–376 (1992)
4. Roelofsen, F.: Distributed knowledge. J. Appl. Non Class. Logics 17(2), 255–273 (2007)
5. Gerbrandy, J.D.: Bisimulations on planet kripke (2006)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Distributed Knowledge Whether;Logic, Rationality, and Interaction;2017