An Axiomatic Characterization of Common Knowledge · Study