3 papers
cs.DC2003
Using Counterfactuals in Knowledge-Based Programming
Joseph Y. Halpern, Yoram Moses
This paper adds counterfactuals to the framework of knowledge-based programs of Fagin, Halpern, Moses, and Vardi. The use of counterfactuals is illustrated by designing a protocol…
cs.DC2000
Knowledge and common knowledge in a distributed environment
Joseph Y. Halpern, Yoram Moses
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 o…
cs.LO1998
Common knowledge revisited
R. Fagin, J. Y. Halpern, Y. Moses +1
We consider the common-knowledge paradox raised by Halpern and Moses: common knowledge is necessary for agreement and coordination, but common knowledge is unattainable in the real…