Extensions of $\omega$-Regular Languages

Mikołaj Bojańczyk, Edon Kelmendi, Rafał Stefański +1

We consider extensions of monadic second order logic over $\omega$-words, which are obtained by adding one language that is not $\omega$-regular. We show that if the added language $L$ has a…