Games of Imperfect Information via Automata andLogic