3 papers
math.LO2026
On the Provability Logic of HA
Mojtaba Mojtahedi
We axiomatize the provability logic of $\HA$ and prove its decidability. Furthermore, we axiomatize the preservativity and relative admissibility relations for several modal logics…
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
Relative Unification in Intuitionistic Logic: Towards provability logic of HA
Mojtaba Mojtahedi
This paper studies relative unification and admissibility in the intuitionistic logic. We generalize results of [Ghilardi, 1999; Iemhoff, 2001a] and prove them relative in NNIL(par…