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}
}
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

From This Paper

Topics from this paper.
4 Citations
13 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Temporal logic and semidirect products: An eeective characterization of the until hierarchy

  • Tw96 ] Denis Th Erien, Thomas Wilke
  • Proceedings of the 37th Annual Symposium on…
  • 1996

Finite semigroups and universal algebra, Series in Algebra

  • Jorge Almeida
  • World Scientiic
  • 1995

Etude syntaxique des parties reconnaissable de mots innnis

  • P Ec88 ] Jean-Pierre P Ecuchet
  • Theoret. Comput. Sci
  • 1988

Varieties of formal languages

  • Jean-Eric Pin, Pin
  • Varieties of formal languages
  • 1986

Finite semigroup varieties of the form VD

  • Howard Str, Straubing
  • J. Pure Appl. Algebra
  • 1985

Graph congruences and wreath products

  • Tw85 ] Denis Th Erien, Alex Weiss
  • J. Pure Appl. Algebra
  • 1985

Varieties of recognizable sets whose syntactic monoids contain solvable groups

  • Howard Str, Straubing
  • Varieties of recognizable sets whose syntactic…
  • 1978

Similar Papers

Loading similar papers…