（公共或分布式）知识的逻辑 (Logic of (Common or Distributed) 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.

翻译：本文对认知逻辑进行了推广，使其能够辅助推理公共知识与分布式知识的组合方式，例如“公共分布式知识”、“分布式公共知识”、“分布式公共分布式知识”等。此外，我们研究了通过任意读取事件进行动态更新的逻辑。我们公理化这些逻辑，并证明了其可靠性与完备性。