Distributed Computing
Knowledge and common knowledge in a distributed environment
Journal of the ACM (JACM)
Reasoning about knowledge
Merging frameworks for interaction: DEL and ETL
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Social and Economic Networks
Strategy elimination in games with interaction structures
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Logic of information flow on communication channels
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Logic of information flow on communication channels
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Message passing in a dynamic epistemic logic setting
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Message-generated Kripke semantics
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
A logic for knowledge flow in social networks
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Distributed iterated elimination of strictly dominated strategies
Autonomous Agents and Multi-Agent Systems
Common Knowledge in Email Exchanges
ACM Transactions on Computational Logic (TOCL)
| Hi-index | 0.00 |
We consider two simple variants of a framework for reasoning about knowledge amongst communicating groups of players. Our goal is to clarify the resulting epistemic issues. In particular, we investigate what is the impact of common knowledge of the underlying hypergraph connecting the players, and under what conditions common knowledge distributes over disjunction. We also obtain two versions of the classic result that common knowledge cannot be achieved in the absence of a simultaneous event (here a message sent to the whole group).