Interpolation properties for the bimodal provability logic $\mathbf{GR}$

Haruka Kogure, Taishi Kurahashi

We study interpolation properties for Shavrukov's bimodal logic $\mathbf{GR}$ of usual and Rosser provability predicates. For this purpose, we introduce a new sublogic $\mathbf{GR}…