Wreath Products of Forest Algebras, with Applications to Tree Logics (Logical Methods in Computer Science, 2012)