With respect to the S5 multi-agent epistemic logic, we define a cell to be a minimal subset of knowledge structures known in common semantically by all the agents. A cell has finite fanout if at every knowledge strcuture every agent considers only a finite number of other knowledge structures to...

With the S5 multi-agent epistemic logic we consider the canonical maps from Krpke structures to knowledge structures. We define a cell to be a minimal subset of knowledge structures known in common semantically by the agents. A cell has finite fanout if at every point every agent considers only...