Cristina Cornelio, Judy Goldsmith, et al.
JAIR
Paper
A Propositional Modal Logic of Time Intervals
Abstract
No abstract available.
Related
Gang Liu, Michael Sun, et al.
ICLR 2025
Joxan Jaffar
Journal of the ACM
Pavel Klavík, A. Cristiano I. Malossi, et al.
Philos. Trans. R. Soc. A