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

• Κύριος συγγραφέας: Kaiser, Łukasz (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
• Σειρά: Lecture Notes in Computer Science, 6810
• Θέματα: 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...

Πίνακας περιεχομένων:

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