37 citations · 152 across the 17 of their papers we have counts for
5 papers · 1 filter
Sleeping Beauty Reconsidered: Conditioning and Reflection in Asynchronous Systems
Joseph Y. Halpern
A careful analysis of conditioning in the Sleeping Beauty problem is done, using the formal model for reasoning about knowledge and probability developed by Halpern and Tuttle. Whi…
Intransitivity and Vagueness
Joseph Y. Halpern
There are many examples in the literature that suggest that indistinguishability is intransitive, despite the fact that the indistinguishability relation is typically taken to be a…
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella
We introduce a logic for reasoning about evidence that essentially views evidence as a function from prior beliefs (before making an observation) to posterior beliefs (after making…
A Knowledge-Theoretic Analysis of Uniform Distributed Coordination and Failure Detectors
Joseph Y. Halpern, Aleta Ricciardi
It is shown that, in a precise sense, if there is no bound on the number of faulty processes in a system with unreliable but fair communication, Uniform Distributed Coordination (U…
Anonymity and Information Hiding in Multiagent Systems
Joseph Y. Halpern, Kevin R. O'Neill
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal lo…