Distributed processes and the logic of knowledge
- 1 January 1985
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 256-268
- https://doi.org/10.1007/3-540-15648-8_21
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Knowledge and common knowledge in a distributed environmentPublished by Association for Computing Machinery (ACM) ,1984
- Knowledge, common knowledge and related puzzles (Extended Summary)Published by Association for Computing Machinery (ACM) ,1984
- Logics of knowledge, games and dynamic logicLecture Notes in Computer Science, 1984
- Communicating sequential processesCommunications of the ACM, 1978
- On the Model Theory of KnowledgePublished by Defense Technical Information Center (DTIC) ,1978
- A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential MethodPublications of the Research Institute for Mathematical Sciences, 1977
- Is Justified True Belief Knowledge?Analysis, 1963