• DocumentCode
    3168300
  • Title

    A Model-Theoretic Analysis Of Knowledge: Preliminary Report

  • Author

    Fagin, Ronald ; Halpern, Joseph Y. ; Vardi, Moshe Y.

  • Author_Institution
    IBM Research Laboratory
  • fYear
    1984
  • fDate
    24-26 Oct 1984
  • Firstpage
    268
  • Lastpage
    278
  • Keywords
    Artificial intelligence; Computer science; Cryptographic protocols; Cryptography; Distributed computing; Distributed databases; Knowledge based systems; Laboratories; Pipelines;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Foundations of Computer Science, 1984. 25th Annual Symposium on
  • ISSN
    0272-5428
  • Print_ISBN
    0-8186-0591-X
  • Type

    conf

  • DOI
    10.1109/SFCS.1984.715925
  • Filename
    715925