Finite Model Theory and Its Applications

by Erich Gradel, Phokion G Kolaitis, Moshe Y Vardi, et al.

This book gives a broad overview of core topics of finite model theory: expressive power, descriptive complexity, and zero-one laws, together with selected applications to database theory and artificial intelligence, especially, constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, which emphasizes the continuity in spirit and technique with finite model theory. Students...

• Format: Paperback
• Language: English
• ISBN: 3642438601
• ISBN13: 9783642438608
• Release Date: October 2014
• Publisher: Springer
• Length: 440 Pages
• Weight: 1.40 lbs.
• Dimensions: 0.9" x 6.1" x 9.2"