Skip to main content
SpringerLink
Log in

Some recent applications of knowledge

  • Invited Talk
  • Conference paper
  • First Online:
Foundations of Software Technology and Theoretical Computer Science (FSTTCS 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 287))

  • 113 Accesses

To appear in FST and TCS 7, Pune India, December 1987

33 West 42nd St., New York, NY, 10036. Research supported by NSF grant DCR 85-04825

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Tyler Burge, “Buridan and Epistemic Paradox”, Philosophical Studies 34 (1978) pp. 21–35.

    Article  Google Scholar 

  2. Jean Buridan, Sophisms on Meaning and Truth, Meredith publishing company, New York, 1966.

    Google Scholar 

  3. 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. 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. J. Hintikka, Knowledge and Belief, Cornell U. Press, 1962.

    Google Scholar 

  6. Reasoning about Knowledge, Ed. J. Halpern, Morgan Kaufman, 1986.

    Google Scholar 

  7. J. Halpern, “Reasoning about Knowledge: an Overview”, in [H2] above, 1–17.

    Google Scholar 

  8. 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. J. Halpern and Y. Moses, “Knowledge and Common Knowledge in a distributed Environment”, ACM-PODC 1984, pp. 50–61.

    Google Scholar 

  10. David Hume A Treatise of Human Nature, first published 1739–40, Penguin edition 1969, Book I, part IV, section VI.

    Google Scholar 

  11. 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. David Lewis, Convention, Harvard U. Press, 1969.

    Google Scholar 

  13. The great Dialogues of Plato, translated by W. H. D. Rouse, Mentor Books, 1956.

    Google Scholar 

  14. “Questions of Milinda” (Milindapanho) in The World of the Buddha Ed. Lucien Stryk, Doubleday 1968.

    Google Scholar 

  15. Y. Moses and M. Tuttle, “Programming simultaneous actions using common knowledge” 27th IEEE-FOCS (1986) pp. 208–221.

    Google Scholar 

  16. R. Parikh, “Logics of Knowledge, Games and Dynamic Logic”, in FST/TCS 4, Springer LNCS no. 181, pp. 202–222.

    Google Scholar 

  17. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Brooklyn College of CUNY, USA

    Rohit Parikh

  2. Department of Computer Science, CUNY Graduate Center, USA

    Rohit Parikh

  3. Mathematics Department, CUNY Graduate Center, USA

    Rohit Parikh

Authors
  1. Rohit Parikh
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Kesav V. Nori

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parikh, R. (1987). Some recent applications of knowledge. In: Nori, K.V. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1987. Lecture Notes in Computer Science, vol 287. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18625-5_72

Download citation

  • DOI: https://doi.org/10.1007/3-540-18625-5_72

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18625-0

  • Online ISBN: 978-3-540-48033-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation