Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions (repost)
Lukasz Kaiser, "Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions"
Publisher: S–-ger | ISBN 10: 3642228062 | 2011 | PDF | 130 pages | 1.1 MB
Publisher: S–-ger | ISBN 10: 3642228062 | 2011 | PDF | 130 pages | 1.1 MB
The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. 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.