Mladen Vuković
Reports on Mathematical Logic, Number 46, 2011, pp. 59-73
https://doi.org/10.4467/20842589RM.11.004.0282Interpretability logic is a modal description of the interpretability predicate. The modal system IL is an extension of the provability logic GL (Gödel–Löb). Bisimulation quotients and largest bisimulations have been well studied for Kripke models. We examine interpretability logic and consider how these results extend to Veltman models.