Straubing, Howard New applications of the wreath product of forest algebras. (English) Zbl 1315.03065 RAIRO, Theor. Inform. Appl. 47, No. 3, 261-291 (2013). Summary: We give several new applications of the wreath product of forest algebras to the study of logics on trees. These include new simplified proofs of necessary conditions for definability in CTL and first-order logic with the ancestor relation; a sequence of identities satisfied by all forest languages definable in PDL; and new examples of languages outside CTL, along with an application to the question of what properties are definable in both CTL and LTL. Cited in 1 Review MSC: 03D05 Automata and formal grammars in connection with logical questions 03B44 Temporal logic 68Q70 Algebraic theory of languages and automata Keywords:tree automata; temporal logics; forest algebras PDFBibTeX XMLCite \textit{H. Straubing}, RAIRO, Theor. Inform. Appl. 47, No. 3, 261--291 (2013; Zbl 1315.03065) Full Text: DOI Link