Knowledge and common knowledge in a distributed environment

@article{Halpern1990KnowledgeAC,
  title={Knowledge and common knowledge in a distributed environment},
  author={Joseph Y. Halpern and Yoram Moses},
  journal={J. ACM},
  year={1990},
  volume={37},
  pages={549-587}
}
  • Joseph Y. Halpern, Yoram Moses
  • Published 1990
  • Computer Science
  • J. ACM
  • Reasoning about knowledge seems to play a fundamental role in distributed systems. Indeed, such reasoning is a central part of the informal intuitive arguments used in the design of distributed protocols. Communication in a distributed system can be viewed as the act of transforming the system's state of knowledge. This paper presents a general framework for formalizing and reasoning about knowledge in distributed systems. It is shown that states of knowledge of groups of processors are useful… CONTINUE READING

    Topics from this paper.

    ON THE LOGICAL UNSOLVABILITY OF THE GETTIER PROBLEM
    • 41
    • Highly Influenced
    • PDF
    Reasoning about knowledge: a survey
    • 90
    • Highly Influenced
    Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
    • 18
    • PDF
    Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
    • 77
    • Highly Influenced
    • PDF
    A compositional framework for designing self-stabilizing distributed algorithms
    • 3
    • Highly Influenced
    • PDF
    Asynchronous knowledge with hidden actions in the situation calculus
    • 5
    • Highly Influenced
    • PDF
    Characterizing Distributed Algorithms with Knowledge Theory: A Survey ⁄
    Common Knowledge and Consistent Simultaneous Coordination
    • 10
    • Highly Influenced
    • PDF
    Common knowledge revisited
    • 21
    • Highly Influenced
    • PDF