Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
Zoltán Ésik · BRICS Report Series · 2002
We associate a modal operator with each language belonging to a given class of regular languages and use the (reverse) wreath product of monoids with distinguished generators to characterize the expressive power of the resulting logic.