Revision Sequences and Computers with an Infinite Amount of Time
Benedikt Löwe · Journal of Logic and Computation · 2001
The author establishes a connection between Revision Theory of Truth and Infinite Time Turing Machines as developed by Hamkins and Kidder. The ideas from this paper have incited Welch to solve the limit rule problem of revision theory.