The interpretability logic ILF - Vuković, Mladen, matematičar (Array, 1998)