A Propositional Modal Logic of Time Intervals

Joseph Y. Halpern, Moshe Y. Vardi

STOC 1988

R. Sebastian, M. Weise, et al.

ECPPM 2022

Pavel Klavík, A. Cristiano I. Malossi, et al.

Philos. Trans. R. Soc. A

Cristina Cornelio, Judy Goldsmith, et al.

JAIR