https://people.inf.ethz.ch/basin/teaching/slides/mon-2h-rv.pdf

... -order” [Henzinger ’94]) ∗∗∗ guarded quantification [Garg et al. ’11, Chowdhury et al. ’14] ∗∗∗ range ... (“half-order” [Henzinger ’94]) ∗∗∗ guarded quantification [Garg et al. ’11, Chowdhury et al. ’14 ...