November 25, 2025Open Access

Logic of (Common or Distributed)* Knowledge

Key Points

Key points are not available for this paper at this time.

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.

Ask AI

Helpful

Bookmark

View Full Paper

Cite This Study

Chenwei Shi (Tue,) studied this question.

synapsesocial.com/papers/694037932d562116f290a0a1 https://doi.org/https://doi.org/10.4204/eptcs.437.24

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

1Distributed Knowing How2025
2Group Knowledge of Hypothetical Values2025
3Analytic Cut in Epistemic Logics with Distributed Knowledge2026
4Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic2024
5Resolving Asynchronous Distributed Knowledge2026

Ask AI

Helpful

Bookmark

View Full Paper