Finite models and finitely many variables Anuj Dawar (1999) Banach Center Publications This paper is a survey of results on finite variable logics in finite model theory. It focusses on the common underlying techniques that unite many such results.