<?xml version="1.0" standalone="yes"?>
<Paper uid="P84-1044">
  <Title>REPRESENTING KNOWLEDGE ABOUT KNOWLEDGE AND MUTUAL KNOWLEDGE</Title>
  <Section position="3" start_page="0" end_page="0" type="intro">
    <SectionTitle>
ABSTRACT
</SectionTitle>
    <Paragraph position="0"> In order to represent speech acts, in a multi-agent context, we choose a knowledge representation based on the modal logic of knowledge KT4 which is defined by Sato. Such a formalism allows us to reason about knowledge and represent knowledge about knowledge, the notions of truth value and of definite reference.</Paragraph>
  </Section>
class="xml-element"></Paper>