The Limit of Recursion in State-based Systems

Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh

We prove that omega^2 strictly bounds the iterations required for modal definable functions to reach a fixed point across all countable structures. The result corrects and extends…