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 and beliefs about substantive matters, but also in his knowledge and beliefs about the others' knowledge and beliefs. This paper examines two parallel approaches to the subject. The first is the semantic, in which knowledge and beliefs are represented by a space of states of the world, and for each player i, partitions ℐi of and probability distributions i(·; ) on for each state of the world. The atom of ℐi containing a given state represents i's knowledge at that state - the set of those other states that i cannot distinguish from ; the probability distributions i(·; ) represents i's beliefs at the state . The second is the syntactic approach, in which beliefs are embodied in sentences constructed according to certain syntactic rules. This paper examines the relation between the two approaches, and shows that they are in a sense equivalent. <p> In game theory and economics, the semantic approach has heretofore been most prevalent. A question that often arises in this connection is whether, in what sense, and why the space , the partitions ℐi, and the probability distributions i(·; ) can be taken as given and commonly known by the players. An answer to this question is provided by the syntactic approach.
