A Many-Sorted Variant of Japaridze's Polymodal Provability Logic

Gerald Berger, Lev D. Beklemishev, Hans Tompits

We consider a many-sorted variant of Japaridze's polymodal provability logic $\mathsf{GLP}$. In this variant, which is denoted ${\mathsf{GLP}}^{\ast }$, propositional variables are assi…