Continuum of normal extensions of the modal logic of provability with the interpolation property (Q920973)

The modal system G of provability logic was introduced by \textit{K. Segerberg} [An essay in classical modal logic, Filosofiska Studier, No.13 (1971; Zbl 0311.02028)] and developed by \textit{R. M. Solovay} [Isr. J. Math. 25, 287-304 (1976; Zbl 0352.02019)], who proved the so-called arithmetical completeness of G. In the present paper, the author considers the class of all normal extensions of G and two different variants of the interpolation property in that context. Namely, the class of modal logics makes possible a generalization of the Craig interpolation property in the following way: we say that a logic L has the derivability interpolation property if, for any two formulas A and B, from \(A\vdash_ LB\), it follows that there exists a formula C, containing only variables which occur both in A and B, such that \(A\vdash_ LC\) and \(C\vdash_ LB\). Similarly, like in some other cases [see the author, Algebra Logika 18, 556-586 (1979; Zbl 0436.03011)], the investigation of interpolation properties of existensions of provability logic can be reduced to the investigation of amalgamation properties of the corresponding varieties of algebras. In this case, it will be the variety of the diagonalizable algebras [see \textit{R. Magari}, Stud. Logica 34, 305-313 (1975; Zbl 0355.02021), or Boll. Unione Mat. Ital., IV. Ser., Suppl. Fasc. 3, 117-125 (1975; Zbl 0352.08002)]. The main result of the paper is that there exists a continuum of provability logic normal extensions having both the Craig and the derivability interpolation property.