Interpolation in infinitely layered extensions of provability logic
normal extensions of the Gödel-Loeb provability logic
scientific article; zbMATH DE number 4134009