Logic of (Common or Distributed) Knowledge
By: Chenwei Shi
Potential Business Impact:
Helps computers understand shared and scattered knowledge.
In this paper, we generalize epistemic logic so that it can help reason about ways of combining common knowledge and distributed knowledge such as "common distributed knowledge", "distributed common knowledge", "distributed common distributed knowledge" and so on. Moreover, we study the logic of its dynamic update by arbitrary reading events. We axiomatize these logics and prove their soundness and completeness.
Similar Papers
Distributed Knowing How
Logic in Computer Science
Teaches groups how to do more than individuals.
Group Knowledge of Hypothetical Values
Logic in Computer Science
Lets computers share and know secret group information.
Knowledge and Common Knowledge of Strategies
Logic in Computer Science
Teaches games to understand what others know.