Publication:4955350
From MaRDI portal
zbMath0965.03046MaRDI QIDQ4955350
Juha Nurmonen, Leonid O. Libkin
Publication date: 25 May 2000
survey; lower bounds; finite model theory; generalized quantifiers; local properties; complexity class \(\text{TC}^0\); game-theoretic characterizations of first-order logic; logics with counting
03C80: Logic with extra quantifiers and operators
03C13: Model theory of finite structures
68Q19: Descriptive complexity and finite models