Formal Interactive Epistemology deals with the logic of knowledge and belief when there is more than one agent or "player." One is interested not only in each person's knowledge about substantive matters, but also in his knowledge about the others' knowledge. This paper examines two parallel...