scientific article; zbMATH DE number 1948485

MaRDI QIDQ4412098zbMATH OpenFDO

Authors Zoltán Ésik

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2450/24500043.htm

Mathematics Subject Classification ID

Temporal logic (03B44) Semigroups in automata theory, linguistics, etc. (20M35) Algebraic theory of languages and automata (68Q70)

Recommendations

• EXTENDED TEMPORAL LOGICS ON FINITE TREES
• On the expressive power of temporal logic
• Extended computation tree logic
• A family of temporal logics on finite trees
• Games for Temporal Logics on Trees

Cited in

(7)

• Actions, wreath products of \(\mathcal C\)-varieties and concatenation product.
• Characterizing CTL-like logics on finite trees.
• Duality and Equational Theory of Regular Languages
• Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
• A Robust Class of Regular Languages
• Stone duality, topological algebra, and recognition.
• Seventy years of algebraic, logical, and topological methods for regular languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412098)