A logic with temporally accessible iteration

Alexei Lisitsa A logic with temporally accessible iteration http://arxiv.org/abs/0806.2802 2008 CoRR abs/0806.2802 db/journals/corr/corr0806.html#abs-0806-2802 informal publication