Logic and Games on Automatic Structures

In this book, the author extends this connection between logic and games to the class of automatic structures, where relations are recognized by synchronous finite automata.

In model-checking games for automatic structures, two coalitions play against each other with a particular kind of hierarchical imperfect information.