Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
Keywords: منطق زمانی; Interval temporal logic; Model checking; Computational complexity;