Extended ω-Regular Languages and Interval Temporal Logic.

Some extensions of ω-regular languages have been proposed in the literature to express asymptotic properties of ω-words which are not captured by ω-regular languages. Formal definitions of extended ωregular languages have been given in terms of both suitable classes of automata and extended ω-regular expressions. On the contrary, satisfactory temporal logic counterparts are still missing. In this paper, we give a characterization of them in terms of interval temporal logics.