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

From MaRDI portal