Skip to main content
SpringerLink
Log in

Distributed processes and the logic of knowledge

Preliminary report

  • Conference paper
  • First Online:
Logics of Programs (Logic of Programs 1985)

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

Included in the following conference series:

Abstract

We establish a very natural connection between distributed processes and the logic of knowledge which promises to shed light on both areas.

Department of Computer Science, Brooklyn College and Mathematics Department, CUNY Graduate center. Research supported in part by NSF grant MCS83-04959 and a Faculty Research Assistance grant from the research foundation of CUNY.

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. E. Emerson and A. Sistla, "Deciding Branching Time Logic", STOC 84 14–24.

    Google Scholar 

  2. R. Fagin, J. Halpern and M. Vardi, "A Model Theoretic Analysis of Knowledge", IEEE-FOCS 1984, 268–278.

    Google Scholar 

  3. E. Gettier "Is Justified True Belief Knowledge?", Analysis 1963, 121–123.

    Google Scholar 

  4. J. Hintikka, Knowledge and Belief, Cornell University Press 1962.

    Google Scholar 

  5. J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment", ACM-PODC 1984, 50–61.

    Google Scholar 

  6. D. Harel, D. Kozen and R. Parikh, "Process Logic: Expressiveness, Decidability, Completeness", JCSS 25 (1982) 144–170.

    Google Scholar 

  7. C.A.R. Hoare, "Communicating Sequential Processes", CACM, 21 (1978) 666–677.

    Google Scholar 

  8. D. Lehmann, "Knowledge, Common Knowledge and Related Puzzles", ACM-PODC 1984, 62–67.

    Google Scholar 

  9. J. McCarthy, M. Sato, T. Hayashi, S. Igarashi, "On the Model Theory of Knowledge", Computer Science Technical Report, Stanford 1978.

    Google Scholar 

  10. R. Parikh, "Logics of Knowledge, Games and Non-monotonic Logic", FST-TCS 1984. Springer LNCS #181, 202–222.

    Google Scholar 

  11. M. Sato, "A Study of Kripke-type Models of some Modal Logics by Gentzen's sequential Method" Pub. Res. Inst. Math. Sci. Kyoto University, 1977.

    Google Scholar 

  12. M. Xiwen and G. Welde, "A Modal Logic of Knowledge", IJCAI 1983, 398–401.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer science group, Tata Institute of Fundamental Research, Homi Bhabha Road, 400005, Bombay, India

    R. Ramanujam

Authors
  1. Rohit Parikh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Ramanujam
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rohit Parikh

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Parikh, R., Ramanujam, R. (1985). Distributed processes and the logic of knowledge. In: Parikh, R. (eds) Logics of Programs. Logic of Programs 1985. Lecture Notes in Computer Science, vol 193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15648-8_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-15648-8_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15648-2

  • Online ISBN: 978-3-540-39527-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation