Meet meets join: the interaction between pooled and common knowledge

Structure‐preserving transformations of epistemic models

“…The so‐called iterative definition of common knowledge captures this intuition formally. It can be shown that common knowledge defined in terms of the meet is equivalent to the iterative definition (e.g., Aumann, 1976; Bach & Cabessa, 2017, Lemma 1; Tóbiás, 2021, Proposition 2).…”