Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
Publications
Home
↳
Publications
Filter by
Filter by
Open menu
Date
Start
End
Featured collections
CHI 2025
ICLR 2025
ICASSP 2025
KubeCon EU 2025
ACS Spring 2025
APS Global Physics Summit 2025
Popular topics
AI Hardware
Foundation Models
Machine Learning
Materials Discovery
Quantum Safe
Quantum Software
Quantum Systems
Semiconductors
3 results for
Yoav Shoham
Fault tolerant mechanism design
Ryan Porter
Amir Ronen
et al.
2008
Artificial Intelligence
A Propositional Modal Logic of Time Intervals
Joseph Y. Halpern
Yoav Shoham
1991
Journal of the ACM
PROPOSITIONAL MODAL LOGIC OF TIME INTERVALS.
Joseph Y. Halpern
Yoav Shoham
1986
LICS 1986