Logics and graphs/automata/sequences