Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

Zoltán Ésik

doi:10.7146/brics.v9i47.21762

Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators

Authors

Zoltán Ésik

DOI:

https://doi.org/10.7146/brics.v9i47.21762

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.

Downloads

Published

2002-12-05

How to Cite

Ésik, Z. (2002). Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. BRICS Report Series, 9(47). https://doi.org/10.7146/brics.v9i47.21762