Showing math.LOShow all
2 papers · 1 filter
math.LO2022
Uniform Interpolation in provability logics
Marta Bilkova
We prove the uniform interpolation theorem in modal provability logics GL and Grz by a proof-theoretical method, using analytical and terminating sequent calculi for the logics. Th…
math.LO2020
Interpretability in PRA
Marta Bílková, Dick de Jongh, Joost J. Joosten
In this paper from 2009 we study IL(PRA), the interpretability logic of PRA. As PRA is neither an essentially reflexive theory nor finitely axiomatizable, the two known arithmetica…