Advertisement

Keywords

Correct Answer Explicit Knowledge External Knowledge Knowledge Argument Logical Omniscience 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [B]
    Tyler Burge, “Buridan and Epistemic Paradox”, Philosophical Studies 34 (1978) pp. 21–35.CrossRefGoogle Scholar
  2. [B2]
    Jean Buridan, Sophisms on Meaning and Truth, Meredith publishing company, New York, 1966.Google Scholar
  3. [CM1]
    H. Clark and C. Marshall, “Definite Reference and Mutual Knowledge” in Elements of Discourse Understanding Ed. Joshi, Webber and Sag, Cambridge U. Press, 1981.Google Scholar
  4. [CM2]
    K. M. Chandy and J. Misra, “How Processes Learn”, Proceedings of the 4th PODC (1985), 204–214. Also Distributed Computing 1 (1986) pp. 40–52.Google Scholar
  5. [H]
    J. Hintikka, Knowledge and Belief, Cornell U. Press, 1962.Google Scholar
  6. [H2]
    Reasoning about Knowledge, Ed. J. Halpern, Morgan Kaufman, 1986.Google Scholar
  7. [H3]
    J. Halpern, “Reasoning about Knowledge: an Overview”, in [H2] above, 1–17.Google Scholar
  8. [HF]
    J. Halpern and R. Fagin, “A Formal Model of Knowledge, Communication and Action” in Fourth Annual ACM Symposium on Principles of Distributed Computing, pp. 224–236.Google Scholar
  9. [HM]
    J. Halpern and Y. Moses, “Knowledge and Common Knowledge in a distributed Environment”, ACM-PODC 1984, pp. 50–61.Google Scholar
  10. [Hu]
    David Hume A Treatise of Human Nature, first published 1739–40, Penguin edition 1969, Book I, part IV, section VI.Google Scholar
  11. [HV]
    J. Halpern and M. Vardi “The Complexity of Reasoning about Knowledge and Time” Proceedings of the 18th ACM-STOC (1986) pp. 304–315.Google Scholar
  12. [Le]
    David Lewis, Convention, Harvard U. Press, 1969.Google Scholar
  13. [Me]
    The great Dialogues of Plato, translated by W. H. D. Rouse, Mentor Books, 1956.Google Scholar
  14. [Mi]
    “Questions of Milinda” (Milindapanho) in The World of the Buddha Ed. Lucien Stryk, Doubleday 1968.Google Scholar
  15. [MT]
    Y. Moses and M. Tuttle, “Programming simultaneous actions using common knowledge” 27th IEEE-FOCS (1986) pp. 208–221.Google Scholar
  16. [Pa1]
    R. Parikh, “Logics of Knowledge, Games and Dynamic Logic”, in FST/TCS 4, Springer LNCS no. 181, pp. 202–222.Google Scholar
  17. [Pa2]
    R. Parikh, “Levels of Knowledge in Distributed Computing” in IEEE Symposium on Logic in Computer Science, Boston 1986, pp. 314–321. (Note that one of the theorems in this paper is joint with P. Krasucki)Google Scholar
  18. [Pa3]
    R. Parikh, “Knowledge and the Problem of Logical Omniscience”, to appear in ACM-SIGART International Symposium on the Mathodology of Intelligent Systems, Charlotte, NC, 1987.Google Scholar
  19. [PR]
    R. Parikh and R. Ramanujam, “Distributed Processing and the Logic of Knowledge”, in Logics of Programs '85 Springer LNCS no.193, pp. 256–268.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Rohit Parikh
    • 1
    • 2
    • 3
  1. 1.Department of Computer ScienceBrooklyn College of CUNYUSA
  2. 2.Department of Computer ScienceCUNY Graduate CenterUSA
  3. 3.Mathematics DepartmentCUNY Graduate CenterUSA

Personalised recommendations