Knowledge and common knowledge in a distributed environment

DOI10.1145/79147.79161zbMath0699.68115arXivcs/0006009WikidataQ30051985 ScholiaQ30051985MaRDI QIDQ3477999

Joseph Y. Halpern, Yoram Moses

Publication date: 1990

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0006009

zbMATH Keywords

verification; reliability; networks; testing; fault-tolerance; common knowledge; program; network protocols; distributed knowledge; programs; protocol verification; knowledge representation formalisms and methods; computer-communication; specifying and verifying and reasoning about

Mathematics Subject Classification ID

68Q60: Specification and verification (program logics, model checking, etc.)

68T99: Artificial intelligence

68N25: Theory of operating systems

68N99: Theory of software

Related Items

Reconstruction of non‐logical axioms from the propositions of multi‐agent doxastic logic, A quantitative analysis of modal logic, On the Decision Problem for Two-Variable First-Order Logic, Unnamed Item, Individual learning of coordination knowledge, Introduction (to the special issue on: Economics and artificial intelligence), Coordinated action in the electronic mail game, Common knowledge and consensus with noisy communication, Levels of knowledge in distributed systems., The complexity of almost-optimal simultaneous coordination, On the knowledge requirements of tasks, A guide to completeness and complexity for modal logics of knowledge and belief, Formal timing analysis of distributed systems, Concurrent common knowledge: Defining agreement for asynchronous systems, Reaching agreements through argumentation: a logical model and implementation, A model of reasoning about knowledge, Using knowledge to optimally achieve coordination in distributed systems, Wait-free implementations in message-passing systems, Common knowledge revisited, Knowledge in shared memory systems., Belief as defeasible knowledge, Minimal knowledge problem: A new approach, Knowledge and best responses in games, A non-minimal but very weak axiomatization of common belief, The relationship between knowledge, belief, and certainty, Belief closure: A semantics of common knowledge for modal propositional logic, Common knowledge and update in finite environments, Modeling agents as qualitative decision makers, Probabilistic belief logic and its probabilistic Aumann semantics, A computer scientist looks at game theory., On the logical unsolvability of the Gettier problem, About cut elimination for logics of common knowledge, Group knowledge is not always distributed (neither is it always implicit), Efficiency and equilibrium in the electronic mail game; the general case, Naming and identity in epistemic logic. II: A first-order logic for naming, Common knowledge and consistent simultaneous coordination, Subjective reasoning -- dynamic games, On the Unusual Effectiveness of Logic in Computer Science, Cloture Votes:n/4-resilient Distributed Consensus int + 1 rounds, Message-optimal protocols for Byzantine Agreement, The Failure Discovery problem