Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /

• Main Author: Kaiser, Łukasz (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Series: Lecture Notes in Computer Science, 6810
• Subjects: Computer science.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Mathematical Logic and Foundations.

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...

Table of Contents:

• 1 Logics, Structures and Presentations
• 2 Game Quantifiers on Automatic Presentations
• 3 Games for Model Checking on Automatic Structures
• 4 Memory Structures for Infinitary Games
• 5 Counting Quantifiers on Automatic Structures
• 6 Cardinality Quantifiers in MSO on Linear Orders
• 7 Cardinality Quantifiers in MSO on Trees
• 8 Outlook.