S. Mojtaba Mojtahedi

Orcid: 0000-0001-5922-9182

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

Collaborative distances:
  • Dijkstra number2 of six.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $.
J. Symb. Log., 2019

Localizing finite-depth Kripke models.
Log. J. IGPL, 2019

2018
The Σ<sub>1</sub>-provability logic of HA.
Ann. Pure Appl. Log., 2018

2015
Reduction of provability logics to Σ<sub>1</sub>-provability logics.
Log. J. IGPL, 2015

2014
Completeness of intermediate logics with doubly negated axioms.
Math. Log. Q., 2014

The de Jongh property for Basic Arithmetic.
Arch. Math. Log., 2014


  Loading...