Knowledge and communication: A first-order theory

Research output: Contribution to journalArticlepeer-review


This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent - speaker, hearer, or third parties - any of these in the past, present, or future - and any logical combination of these, including formulas with quantifiers. We prove that this theory is consistent, and compatible with a wide range of physical theories. We examine how the theory avoids two potential paradoxes, and discuss how these paradoxes may pose a danger when this theory are extended.

Original languageEnglish (US)
Pages (from-to)81-139
Number of pages59
JournalArtificial Intelligence
Issue number1-2
StatePublished - Aug 2005


  • Communication
  • Knowledge
  • Logic
  • Paradox

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Knowledge and communication: A first-order theory'. Together they form a unique fingerprint.

Cite this