A guide to completeness and complexity for modal logics of knowledge and belief
- Joseph Y. Halpern
- Yoram Moses
- 1992
- Artificial Intelligence
Publications
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