Back to site
On coarser interval temporal logics