Simon, Robert Samuel - Center for the Study of Rationality, Hebrew University … - 2001
considers only a finite number of other knowledge structures to be possible. A set of formulas in common knowledge is finitely … generated if the common knowledge of some finite subset implies the common knowledge of the whole set. For every finitely … generated set of formulas held in common knowledge at some knowledge structure either this set determines uniquely a finite cell …