Note on Some Fixed Point Constructions in Provability Logic
We present a quite simple proof of the fixed point theorem for GL. We also use this proof to show that Sambin's algorithm yields a fixed point.
Key Wordsfixed point GL Sambin's algorithm
Unable to display preview. Download preview PDF.
© Springer Science+Business Media, Inc. 2005