Part of the Lecture Notes in Computer Science book series (LNCS, volume 193)
Distributed processes and the logic of knowledge
We establish a very natural connection between distributed processes and the logic of knowledge which promises to shed light on both areas.
KeywordsModal 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.
- [ES]E. Emerson and A. Sistla, "Deciding Branching Time Logic", STOC 84 14–24.Google Scholar
- [FHV]R. Fagin, J. Halpern and M. Vardi, "A Model Theoretic Analysis of Knowledge", IEEE-FOCS 1984, 268–278.Google Scholar
- [G]E. Gettier "Is Justified True Belief Knowledge?", Analysis 1963, 121–123.Google Scholar
- [Hi]J. Hintikka, Knowledge and Belief, Cornell University Press 1962.Google Scholar
- [HM]J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment", ACM-PODC 1984, 50–61.Google Scholar
- [HKP]D. Harel, D. Kozen and R. Parikh, "Process Logic: Expressiveness, Decidability, Completeness", JCSS 25 (1982) 144–170.Google Scholar
- [Ho]C.A.R. Hoare, "Communicating Sequential Processes", CACM, 21 (1978) 666–677.Google Scholar
- [Le]D. Lehmann, "Knowledge, Common Knowledge and Related Puzzles", ACM-PODC 1984, 62–67.Google Scholar
- [MSHI]J. McCarthy, M. Sato, T. Hayashi, S. Igarashi, "On the Model Theory of Knowledge", Computer Science Technical Report, Stanford 1978.Google Scholar
- [Pa]R. Parikh, "Logics of Knowledge, Games and Non-monotonic Logic", FST-TCS 1984. Springer LNCS #181, 202–222.Google Scholar
- [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
- [XW]M. Xiwen and G. Welde, "A Modal Logic of Knowledge", IJCAI 1983, 398–401.Google Scholar
© Springer-Verlag Berlin Heidelberg 1985