Iterate Logic

Peter H. Schmitt


We introduce a new logic for finite first-order structures with a linear
odering. We study its expressive power. In particular we show that it is
strictly stronger than first-order logic on finite structures. We close
with a list of open problems.