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 approaches to the subject. The first is the semantic approach, in which …