Title: Tum Institut für Informatik zur temporalen Logik von Bäumen