THE K-DIMENSIONAL FIXED POINT THEOREM OF PROVABILITY LOGIC
Christian Ewerhart · RePEc: Research Papers in Economics · 2001
The paper contains a detailed proof of the K-dimensional fixed point theorem for modal provability logic GL. We illustrate the use of the result in Peano Arithmetic and suggest a game-theoretic application.