Subject
General Computer Science,Theoretical Computer Science
Reference20 articles.
1. S. Awodey, J. Hughes, Modal operators for coequations, preprint, August 2001.
2. Handbook of Categorical Algebra;Borceux,1994
3. R. Fagin, J.Y. Halpern, A formal model of knowledge, action and communication in distributed systems, in: Proc. fourth ACM Symp. on Principles of Distributed Computing, 1985, pp. 224–236.
4. Reasoning about Knowledge;Fagin,1995
5. What can machines know? On the properties of knowledge in distributed systems;Fagin;J. ACM,1992
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献