Finite Model Theory and Its Applications

  title={Finite Model Theory and Its Applications},
  author={E. Gr{\"a}del and Phokion G. Kolaitis and L. Libkin and maarten marx and J. Spencer and Moshe Y. Vardi and Y. Venema and S. Weinstein},
  booktitle={Texts in Theoretical Computer Science. An EATCS Series},
  • E. Grädel, Phokion G. Kolaitis, +5 authors S. Weinstein
  • Published in
    Texts in Theoretical Computer…
  • Mathematics, Computer Science
  • Unifying Themes in Finite Model Theory.- On the Expressive Power of Logics on Finite Models.- Finite Model Theory and Descriptive Complexity.- Logic and Random Structures.- Embedded Finite Models and Constraint Databases.- A Logical Approach to Constraint Satisfaction.- Local Variations on a Loose Theme: Modal Logic and Decidability. 
    178 Citations

    Figures and Topics from this paper

    Explore Further: Topics Discussed in This Paper

    Finite Model Theory on Tame Classes of Structures
    • A. Dawar
    • Mathematics, Computer Science
    • MFCS
    • 2007
    • 27
    Finite domain and symbolic inference methods for extensions of first-order logic
    • 15
    • Highly Influenced
    • PDF
    The mu-calculus and Model Checking
    • 41
    • PDF
    A Finite-Model-Theoretic View on Propositional Proof Complexity
    • 1
    • PDF
    Automata-based presentations of infinite structures
    • 23
    • PDF
    The finite model theory toolbox of a database theoretician
    • 11
    • PDF
    Definability and model checking: the role of orders and compositionality
    • 3
    • PDF
    The complexity of counting quantifiers on equality languages
    • 2
    • PDF
    Introduction and Technical Preliminaries
    Coherence and Computational Complexity of Quantifier-free Dependence Logic Formulas
    • 30
    • PDF


    Finite model theory
    • 908
    Elements of Finite Model Theory
    • L. Libkin
    • Computer Science
    • Texts in Theoretical Computer Science
    • 2004
    • 815
    • PDF
    Toward logic tailored for computational complexity
    • 240
    • PDF
    A mathematical introduction to logic
    • 2,187
    • PDF
    Definable sets in ordered structures
    • 198
    • PDF
    Metafinite Model Theory
    • 61
    Pseudo-Finite Homogeneity and Saturation
    • 13
    • PDF