Taken by surprise: The paradox of the surprise test revisited
- Joseph Y. Halpern
- Yoram Moses
- 1986
- Journal of Philosophical Logic
Publications
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