Taken by surprise: The paradox of the surprise test revisited
- Joseph Y. Halpern
- Yoram Moses
- 1986
- Journal of Philosophical Logic
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1986
- Journal of Computer and System Sciences
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
Optimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
Deterministic process logic is elementary
- Joseph Y. Halpern
- 1983
- Information and Control