The logic of fixed and growing automata