Paper by Harry Vinall-Smeeth accepted for publication at LICS'24

The paper “From Quantifier Depth to Quantifier Number: Separating Structures with k Variables" by Harry Vinall-Smeeth was accepted for presentation at LICS’24 ( A preprint is available at The paper studies the number of quantifiers needed to distinguish pairs of relational structures in finite variable logics. One nice consequence of the results is that allowing just one extra variable can result in an exponential increase in succinctness.