Expressive Power of Real Time Logics -- Contributed Papers -- Extended Directed Search