BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-78-657
       ENTRY:: June 22, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: On the model theory of knowledge
        TYPE:: Technical Report
      AUTHOR:: McCarthy, John
      AUTHOR:: Sato, Masahiko
      AUTHOR:: Hayashi, Takeshi
      AUTHOR:: Igarashi, Shigeru
        DATE:: April 1978
       PAGES:: 12
    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.
       NOTES:: [Adminitrivia V1/Prg/19950622]
         END:: STAN//CS-TR-78-657