3 papers
math.LO2026
Proof Theory and Interpolation for Sacchetti's Logics
Borja Sierra Miranda, Thomas Studer
We study the proof theory of Sacchetti's modal logics, a family of logics generalizing Gödel--Löb provability logic by replacing transitivity with n-transitivity. We make three mai…
math.LO2025
Provability Models
Mojtaba Mojtahedi, Borja Sierra Miranda
In this paper, we study a new Kripke-style semantics for classical modal logic, named as provability models. We study provability models for the propositional modal logics K, K4, S…
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…