1. Artemov, S.N., Beklemishev, L.D.: Provability logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn. vol. 13, pp. 229–403. Springer, Dordrecht (2004)
2. Areces, C., de Jongh, D., Hoogland, E.: The interpolation theorem for IL and ILP. In: Proceedings of AiML98. Advances in Modal Logic, Uppsala, Sweden (1998)
3. Alberucci, L., Facchini, A.: On modal μ-calculus and Gödel–Löb logic. Stud. Log. 91(2), 145–169 (2009)
4. Artemov, S.: Logic of proofs. Ann. Pure Appl. Log. 67(1), 29–59 (1994)
5. Beeson, M.: The nonderivability in intuitionistic formal systems of theorems on the continuity of effective operations. J. Symb. Log. 40, 321–346 (1975)