Date: 24 Jun 2003

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

* Final gross prices may vary according to local VAT.

Get Access

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.

Supported in part by a grant from the National Foundation of Hungary for Scientific Research and by the Japan Society for the Promotion of Science.