@techreport{TR-DCC-93-08,
  number = {DCC-93-08},
  author = {Wainer, Jacques},
  title = {Introspection and Projection in Reasoning about Other Agents},
  month = {April},
  year = {1993}, 
  institution = {Department of Computer Science, University of Campinas},
  note = {In English, 18 pages.
    \par\selectlanguage{english}\textbf{Abstract}
      This paper develops the formal aspects of a new apporach to
      reasoning about the knowledge of other agents. It is based on the
      principles of introspection, by which an agent is aware of the
      inferences he makes, and projection, by which an agent assumes
      that other agents have the same inference abilities as himself.
      The paper develops a logic that incorporates these principles and
      proves the soundness of such logic.
  }
}