Home
On coarser interval temporal logics