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....

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...

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....

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...

In interactive contexts such as games and economies, it is important to take account not only of what the players believe about substantive matters (such as payoffs), but also of what they believe about the beliefs of other players. Two different but equivalent ways of dealing with this matter,...