Logic of (Common or Distributed) Knowledge

2025/11/27 by Shi, Chenwei
Computer Science · Earth and Planetary Sciences · #Environmental Monitoring and Data Management #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies

paper · doi:10.48550/arxiv.2511.22385

openalex publication_date 2025/11/27 · openalex created_date 2025/12/03 · openalex updated_date 2026/07/28

Abstract

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.

Related

• Distributed Knowing How
• Epistemic Logic over Similarity Graphs: Common, Distributed and Mutual Knowledge
• Dynamic Logic of Common Knowledge in a Proof Assistant
• Common knowledge logic in a higher order proof assistant?
• Varieties of Distributed Knowledge