The de Jongh property for Basic Arithmetic. - Mohammad Ardeshir; S. Mojtaba Mojtahedi (Arch. Math. Log., 2014)

Completeness of intermediate logics with doubly negated axioms. - Mohammad Ardeshir; S. Mojtaba Mojtahedi (Math. Log. Q., 2014)

Reduction of provability logics to Σ1-provability logics. - Mohammad Ardeshir; S. Mojtaba Mojtahedi (Log. J. IGPL, 2015)

The Σ1-provability logic of HA. - Mohammad Ardeshir; S. Mojtaba Mojtahedi (Ann. Pure Appl. Log., 2018)

Localizing finite-depth Kripke models. - S. Mojtaba Mojtahedi (Log. J. IGPL, 2019)

THE ${ text{ Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{ text{*}} $. - Mohammad Ardeshir; S. Mojtaba Mojtahedi (J. Symb. Log., 2019)