Forward Looking Logics And Automata