S. Mojtaba Mojtahedi

According to our database, S. Mojtaba Mojtahedi authored at least 6 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2019

THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

J. Symb. Log., 2019

Localizing finite-depth Kripke models.

S. Mojtaba Mojtahedi

Log. J. IGPL, 2019

2018

The Σ₁-provability logic of HA.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Ann. Pure Appl. Log., 2018

2015

Reduction of provability logics to Σ₁-provability logics.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Log. J. IGPL, 2015

2014

Completeness of intermediate logics with doubly negated axioms.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Math. Log. Q., 2014

The de Jongh property for Basic Arithmetic.

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Arch. Math. Log., 2014