Taken by surprise: The paradox of the surprise test revisited
- Joseph Y. Halpern
- Yoram Moses
- 1986
- Journal of Philosophical Logic
Paper
Publications
85 results for Joseph Y. Halpern
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time Temporal Logic
- E. Allen Emerson
- Joseph Y. Halpern
- 1986
- Journal of the ACM
PaperOn the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1986
- Journal of Computer and System Sciences
PaperA formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
Conference paperDecision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
PaperOptimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
PaperDENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984
Conference paperA new look at fault tolerant network routing
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
Conference paperMODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
Conference paperOn the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
Conference paper