Intuitionistic Gödel-Löb logic, à la Simpson: labelled systems and birelational semantics

Anupam Das, Iris van der Giessen, Sonia Marin

We derive an intuitionistic version of Gödel-Löb modal logic ($\mathsf{GL}$) in the style of Simpson, via proof theoretic techniques. We recover a labelled system, $\ell \mathsf{IGL}$, by…