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.
['Erich Grädel', 'Phokion G. Kolaitis', 'Leonid Libkin', 'Maarten Marx', 'J. Spencer', 'Moshe Y. Vardi', 'Yde Venema', 'Scott Weinstein']
Finite model theory and its applications