collaborators

1 paper

math.LO2025

Uniform interpolation for interpretability logic

Sebastijan Horvat, Borja Sierra Miranda, Thomas Studer

We present a proof-theoretical study of the interpretability logic IL, providing a wellfounded and a non-wellfounded sequent calculus for IL. The non-wellfounded calculus is used t…