diamond1   Logics for Qualitative Reasoning   Logics for time   Interval temporal logics

Interval temporal logics  

Content to follow