A guide to completeness and complexity for modal logics of knowledge and belief
- Joseph Y. Halpern
- Yoram Moses
- 1992
- Artificial Intelligence
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
14 results for Yoram Moses
Knowledge and common knowledge in a Byzantine environment: Crash failures
- Cynthia Dwork
- Yoram Moses
- 1990
- Information and Computation
Cheating husbands and other stories: A case study of knowledge, action, and communication
- Yoram Moses
- Danny Dolev
- et al.
- 1986
- Distributed Computing
Taken by surprise: The paradox of the surprise test revisited
- Joseph Y. Halpern
- Yoram Moses
- 1986
- Journal of Philosophical Logic