Iterate Logic

摘要

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.