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
“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time Temporal Logic
- E. Allen Emerson
- Joseph Y. Halpern
- 1986
- Journal of the ACM
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joseph Y. Halpern
- et al.
- 1986
- Journal of Computer and System Sciences
A formal model of knowledge, action, and communication in distributed systems: Preliminary report
- Joseph Y. Halpern
- Ronald Fagin
- 1985
- PODC 1985
Optimal precision in the presence of uncertainty
- Joseph Y Halpern
- Nimrod Megiddo
- et al.
- 1985
- Journal of Complexity
Decision procedures and expressiveness in the temporal logic of branching time
- E.Allen Emerson
- Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
DENOTATIONAL SEMANTICS AND REWRITE RULES FOR FP.
- Joseph Y. Halpern
- John H. Williams
- et al.
- 1984
- POPL 1984
MODEL-THEORETIC ANALYSIS OF KNOWLEDGE: PRELIMINARY REPORT.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1983
- FOCS 1983
A new look at fault tolerant network routing
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984
On the possibility and impossibility of achieving clock synchronization
- Danny Dolev
- Joe Halpern
- et al.
- 1984
- STOC 1984