Some extensions of a claim of Aumann in an axiomatic model of knowledge

The paper begins by presenting an axiomatic model of simple and iterated knowledge. A formal definition of the intuitive notion of common knowledge is given and shown equivalent to previous characterizations. It is shown that agents have information partitions. The second part generalizes Aumann's (Ann. Statist.4 (1976), 1236–1239) well-known propositions about common knowledge between two rational agents of each other's probability assignments. It is shown that: common knowledge of decisions—if these are rational—implies a common decision for like-minded agents; and that a “dialogue” in decisions leads to a common decision. A “no-trade” theorem is given which includes trade under complete uncertainty.