Logic of Programs 1985: Logics of Programs pp 256-268 | Cite as

Distributed processes and the logic of knowledge

Preliminary report
  • Rohit Parikh
  • R. Ramanujam
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 193)


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


Modal Logic Common Knowledge Global Time Local History Justify True Belief 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ES]
    E. Emerson and A. Sistla, "Deciding Branching Time Logic", STOC 84 14–24.Google Scholar
  2. [FHV]
    R. Fagin, J. Halpern and M. Vardi, "A Model Theoretic Analysis of Knowledge", IEEE-FOCS 1984, 268–278.Google Scholar
  3. [G]
    E. Gettier "Is Justified True Belief Knowledge?", Analysis 1963, 121–123.Google Scholar
  4. [Hi]
    J. Hintikka, Knowledge and Belief, Cornell University Press 1962.Google Scholar
  5. [HM]
    J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment", ACM-PODC 1984, 50–61.Google Scholar
  6. [HKP]
    D. Harel, D. Kozen and R. Parikh, "Process Logic: Expressiveness, Decidability, Completeness", JCSS 25 (1982) 144–170.Google Scholar
  7. [Ho]
    C.A.R. Hoare, "Communicating Sequential Processes", CACM, 21 (1978) 666–677.Google Scholar
  8. [Le]
    D. Lehmann, "Knowledge, Common Knowledge and Related Puzzles", ACM-PODC 1984, 62–67.Google Scholar
  9. [MSHI]
    J. McCarthy, M. Sato, T. Hayashi, S. Igarashi, "On the Model Theory of Knowledge", Computer Science Technical Report, Stanford 1978.Google Scholar
  10. [Pa]
    R. Parikh, "Logics of Knowledge, Games and Non-monotonic Logic", FST-TCS 1984. Springer LNCS #181, 202–222.Google Scholar
  11. [S]
    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. [XW]
    M. Xiwen and G. Welde, "A Modal Logic of Knowledge", IJCAI 1983, 398–401.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • Rohit Parikh
  • R. Ramanujam
    • 1
  1. 1.Computer science groupTata Institute of Fundamental ResearchBombayIndia

Personalised recommendations