Open AccessExtended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators
Author(s) -
Zoltán Ésik
Publication year - 2002
Publication title -
brics report series
Language(s) - English
Resource type - Journals
eISSN - 1601-5355
pISSN - 0909-0878
DOI - 10.7146/brics.v9i47.21762
Subject(s) - wreath product , expressive power , mathematics , product (mathematics) , class (philosophy) , algebra over a field , arithmetic , discrete mathematics , pure mathematics , computer science , programming language , artificial intelligence , geometry
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.