Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity