 Multi-agent systems are interesting for other reasons than to represent higher-order information. The individual agents’ information may also be pooled to capture what the agents know jointly, as group knowledge (see Baltag, Boddy, &amp; Smets 2018 for a recent discussion). A standard notion is this style is distributed knowledge: The knowledge the group would have if the agents share all their individual knowledge. To represent it, augment the language \(\mathcal{L}_{Kn}\) with operators 