S. Mojtaba Mojtahedi

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 3

Top Topics

Arithmetic Operations

Inheritance Reasoning

Top Venues

Arch. Math. Log.

Ann. Pure Appl. Log.

Publications

S. Mojtaba Mojtahedi
Localizing finite-depth Kripke models. Log. J. IGPL 27 (3) (2019)
Mohammad Ardeshir, S. Mojtaba Mojtahedi
THE ${\text{\Sigma }}_1 $ -PROVABILITY LOGIC OF $HA^{\text{*}} $. J. Symb. Log. 84 (3) (2019)
Mohammad Ardeshir, S. Mojtaba Mojtahedi
-provability logic of HA. Ann. Pure Appl. Log. 169 (10) (2018)
Mohammad Ardeshir, S. Mojtaba Mojtahedi
-provability logics. Log. J. IGPL 23 (5) (2015)
Mohammad Ardeshir, S. Mojtaba Mojtahedi
The de Jongh property for Basic Arithmetic. Arch. Math. Log. 53 (7-8) (2014)
Mohammad Ardeshir, S. Mojtaba Mojtahedi
Completeness of intermediate logics with doubly negated axioms. Math. Log. Q. 60 (1-2) (2014)