Proceedings of the fourth annual ACM symposium on Principles of distributed computing
A formal model of knowledge, action, and communication in distributed systems: preliminary report
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
Distributed Processes and the Logic of Knowledge
Proceedings of the Conference on Logic of Programs
Knowledge and common knowledge in a distributed environment
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Manipulating Paraconsistent Knowledge in Multi-agent Systems
KES-AMSTA '07 Proceedings of the 1st KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Automata for Epistemic Temporal Logic with Synchronous Communication
Journal of Logic, Language and Information
Generalized modal satisfiability
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
Non-alethic reasoning in distributed systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Hi-index | 0.00 |
We give a simple, yet very general definition for distributed protocols. We then define notions of knowledge and common knowledge appropriate for these protocols. We study how changes in the states of knowledge relate to more standard notions of computation. We find that by restricting our formulas to certain sets of global states we can realize different, appropriate definitions of knowledge with fundamentally different properties.