Finite Model Theory and Its Applications (Repost)
Finite Model Theory and Its Applications
Springer; 1 edition (June 11, 2007) | ISBN:3540004289 | 437 pages | PDF | 3,4 Mb
Springer; 1 edition (June 11, 2007) | ISBN:3540004289 | 437 pages | PDF | 3,4 Mb
This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics to gain insight into phenomena in complexity theory and combinatorics.