We stand with Ukraine  

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{*}} $.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
J. Symb. Log., 2019

Localizing finite-depth Kripke models.
[BibTeX]
[DOI]
S. Mojtaba Mojtahedi
Log. J. IGPL, 2019

2018
The Σ<sub>1</sub>-provability logic of HA.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
Ann. Pure Appl. Log., 2018

2015
Reduction of provability logics to Σ<sub>1</sub>-provability logics.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
Log. J. IGPL, 2015

2014
Completeness of intermediate logics with doubly negated axioms.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
Math. Log. Q., 2014

The de Jongh property for Basic Arithmetic.
[BibTeX]
[DOI]
Mohammad Ardeshir
,
S. Mojtaba Mojtahedi
Arch. Math. Log., 2014


  Loading...