Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations

Guram Bezhanishvili, Kristina Brantley, Julia Ilin

The Gödel translation provides an embedding of the intuitionistic logic $\mathsf{IPC}$ into the modal logic $\mathsf{Grz}$, which then embeds into the modal logic $\mathsf{GL}$ via…