Return to Article Details A Categorical Characterization of a ①-Iteratively Defined State of Common Knowledge Download Download PDF