Highly Influenced

# Temporal Logic and Semidirect Products: an Eeective Characterization of the until Hierarchy Special Year on Logic and Algorithms Postdoctoral Fellow

@inproceedings{Erien1996TemporalLA, title={Temporal Logic and Semidirect Products: an Eeective Characterization of the until Hierarchy Special Year on Logic and Algorithms Postdoctoral Fellow}, author={D Erien and Thomas Wilke}, year={1996} }

- Published 1996

from [TW96]) We reveal an intimate connection between semidirect products of nite semigroups and substitution of formulas in linear temporal logic. We use this connection to obtain an algebraic characterization of the `until' hierarchy of linear temporal logic; the k-th level of that hierarchy is comprised of all temporal properties that are expressible by a formula of nesting depth k in the `until' operator. Applying deep results from nite semigroup theory we are able to prove that each level… CONTINUE READING