Finite Model Theory and Its Applications

by Erich Grädel, J. Spencer, Scott Weinstein, 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: Hardcover
• Language: English
• ISBN: 3540004289
• ISBN13: 9783540004288
• Release Date: April 2007
• Publisher: Springer
• Length: 440 Pages
• Weight: 1.66 lbs.
• Dimensions: 0.8" x 6.5" x 9.3"