Report Number: CS-TR-78-657
Institution: Stanford University, Department of Computer Science
Title: On the model theory of knowledge
Author: McCarthy, John
Author: Sato, Masahiko
Author: Hayashi, Takeshi
Author: Igarashi, Shigeru
Date: April 1978
Abstract: Another language for expressing "knowing that" is given
together with axioms and rules of inference and a Kripke type
semantics. The formalism is extended to time-dependent
knowledge. Completeness and decidability theorems are given.
The problem of the wise men with spots on their foreheads and
the problem of the unfaithful wives are expressed in the
formalism and solved.