|
Extended Temporal Logic on Finite Words and Wreath Product of Monoids
with Distinguished Generators
Zoltán Ésik December 2002 |
Abstract:
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
Available as PostScript, PDF, DVI. |