myv qxocsriceedu finite model theory applications erich graedel phokion g kolaitis leonid libkin maarten marx joel spencer moshe vardi yde venema scott weinstein springer 2007 437 pages hardcover isbn 9783540004288 series texts theoretical computer science eatcs series back cover book gives comprehensive overview central topics finite model theory expressive power logics descriptive complexity zeroone laws together selected applications relating database theory artificial intelligence especially constraint databases constraint satisfaction problems final chapter provides concise modern introduction modal logic emphasizing interaction finite model theory underlying theme book use firstorder secondorder fixedpoint infinitary logic well various fragments hierarchies within logics gain insight phenomena problems complexity theory combinatorics book emphasizes use combinatorial games extensions refinements ehrenfeuchtfraissi games powerful way analyze expressive power logics illustrates sophisticated notions model theory combinatorics ominimality treewidth arise naturally applications finite model theory database theory artificial intelligence students logic computer science find tools necessary embark research finite model theory readers experience excitement vibrant area applications logic computer science table contents 1unifying themes finite model theory 2on expressive power logics finite models 3finite model theory descriptive complexity 4logic random structures 5embedded finite models constraint databases 6a logical approach constraint satisfaction 7local variations loose theme modal logic decidability order see httpwwwspringercom9783540004288 thu 07 aug 2008 185158 0500 uai book finite model theory applications