A logic for reasoning about probabilities
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1990
- Information and Computation
Publications
Date
Featured collections
Popular topics
85 results for Joseph Y. Halpern
Modelling knowledge and action in distributed systems
- Joseph Y. Halpern
- Ronald Fagin
- 1989
- Distributed Computing
Knowledge, probability, and adversaries (preliminary report)
- Joseph Y. Halpern
- Mark R. Tuttle
- 1989
- PODC 1989
The complexity of reasoning about knowledge and time. I. Lower bounds
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1989
- Journal of Computer and System Sciences
Reasoning about procedures as parameters in the language L4
- Steven M. German
- Edmund M. Clarke
- et al.
- 1989
- Information and Computation
Logic for reasoning about probabilities.
- Ronald Fagin
- Joseph Y. Halpern
- et al.
- 1987
- LICS 1987
I'm OK if you're OK: On the notion of trusting communication
- Ronald Fagin
- Joseph Y. Halpern
- 1988
- Journal of Philosophical Logic
Reasoning about knowledge and time in asynchronous systems
- Joseph Y. Halpern
- Moshe Y. Vardi
- 1988
- STOC 1988
A knowledge-based analysis of zero knowledge
- Joseph Y. Halpern
- Yoram Moses
- et al.
- 1988
- STOC 1988
A little knowledge goes a long way: Simple knowledge-based derivations and correctness proofs for a family of protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1987
- PODC 1987