Advertisement

Elements of Finite Model Theory

  • Leonid Libkin

Part of the Texts in Theoretical Computer Science book series (TTCS)

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Leonid Libkin
    Pages 1-11
  3. Leonid Libkin
    Pages 13-21
  4. Leonid Libkin
    Pages 23-43
  5. Leonid Libkin
    Pages 45-65
  6. Leonid Libkin
    Pages 67-85
  7. Leonid Libkin
    Pages 87-111
  8. Leonid Libkin
    Pages 113-140
  9. Leonid Libkin
    Pages 141-163
  10. Leonid Libkin
    Pages 165-176
  11. Leonid Libkin
    Pages 177-210
  12. Leonid Libkin
    Pages 211-234
  13. Leonid Libkin
    Pages 235-248
  14. Leonid Libkin
    Pages 249-273
  15. Leonid Libkin
    Pages 275-289
  16. Back Matter
    Pages 291-318

About this book

Introduction

This book is an introduction to finite model theory which stresses the computer science origins of the area. In addition to presenting the main techniques for analyzing logics over finite models, the book deals extensively with applications in databases, complexity theory, and formal languages, as well as other branches of computer science. It covers Ehrenfeucht-Fraïssé games, locality-based techniques, complexity analysis of logics, including the basics of descriptive complexity, second-order logic and its fragments, connections with finite automata, fixed point logics, finite variable logics, zero-one laws, and embedded finite models, and gives a brief tour of recently discovered applications of finite model theory.

This book can be used both as an introduction to the subject, suitable for a one- or two-semester graduate course, or as reference for researchers who apply techniques from logic in computer science.

Keywords

Automat Variable automata complexity complexity theory formal language logic model theory

Authors and affiliations

  • Leonid Libkin
    • 1
  1. 1.Department of Computer ScienceUniversity of TorontoTorontoCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-662-07003-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-642-05948-3
  • Online ISBN 978-3-662-07003-1
  • Series Print ISSN 1862-4499
  • Buy this book on publisher's site