Basic Propositional Calculus I. - Mohammad Ardeshir; Wim Ruitenburg (Math. Log. Q., 1998)

Intuitionistic Open Induction and Least Number Principle and the Buss Operator. - Mohammad Ardeshir; Mojtaba Moniri (Notre Dame J. Formal Log., 1998)

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. - Mohammad Ardeshir (Stud Logica, 1999)

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. - Mojtaba Aghaei; Mohammad Ardeshir (Math. Log. Q., 2000)

Basic Propositional Calculus II. Interpolation. - Mohammad Ardeshir; Wim Ruitenburg (Arch. Math. Log., 2001)

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. - Mojtaba Aghaei; Mohammad Ardeshir (Stud Logica, 2001)

Every Rooted Narrow Tree Kripke Model of HA is Locally PA. - Mohammad Ardeshir; Bardyaa Hesaam (Math. Log. Q., 2002)

A Gentzen-style axiomatization for basic predicate calculus. - Mojtaba Aghaei; Mohammad Ardeshir (Arch. Math. Log., 2003)

Intuitionistic axiomatizations for bounded extension Kripke models. - Mohammad Ardeshir; Wim Ruitenburg; Saeed Salehi (Ann. Pure Appl. Log., 2003)

On the linear Lindenbaum algebra of Basic Propositional Logic. - Majid Alizadeh; Mohammad Ardeshir (Math. Log. Q., 2004)

Amalgamation property for the class of basic algebras and some of its natural subclasses. - Majid Alizadeh; Mohammad Ardeshir (Arch. Math. Log., 2006)

On some questions of L. Åqvist. - Mohammad Ardeshir; Fateme Nabavi (Log. J. IGPL, 2006)

On Löb algebras. - Majid Alizadeh; Mohammad Ardeshir (Math. Log. Q., 2006)

An Introduction to Basic Arithmetic. - Mohammad Ardeshir; Bardyaa Hesaam (Log. J. IGPL, 2008)

Ibn Sī: nā's Philosophy of Mathematics. - Mohammad Ardeshir (The Unity of Science in the Arabic Tradition, 2008)

Decidability and Specker sequences in intuitionistic mathematics. - Mohammad Ardeshir; Rasoul Ramezanian (Math. Log. Q., 2009)

The double negation of the intermediate value theorem. - Mohammad Ardeshir; Rasoul Ramezanian (Ann. Pure Appl. Log., 2010)

On Löb algebras, II. - Majid Alizadeh; Mohammad Ardeshir (Log. J. IGPL, 2012)

A unification of the basic logics of Sambin and Visser. - Mohammad Ardeshir; Vahid Vaezian (Log. J. IGPL, 2012)

On the constructive notion of closure maps. - Mohammad Ardeshir; Rasoul Ramezanian (Math. Log. Q., 2012)

A solution to the Surprise Exam Paradox in Constructive Mathematics. - Mohammad Ardeshir; Rasoul Ramezanian (Rev. Symb. Log., 2012)

A new Glivenko Theorem. - Majid Alizadeh; Mohammad Ardeshir; Wim Ruitenburg (TACL, 2013)

Epistemic Learning Programs A Calculus for Describing Epistemic Action Models - Mohammad Ardeshir; Rasoul Ramezanian (CoRR, 2013)

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)

Boolean Algebras in Visser Algebras. - Majid Alizadeh; Mohammad Ardeshir; Wim Ruitenburg (Notre Dame J. Formal Log., 2016)

The principle of open induction and Specker sequences. - Mohammad Ardeshir; Zahra Ghafouri (Log. J. IGPL, 2017)

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

Compactness, colocatedness, measurability and ED. - Mohammad Ardeshir; Zahra Ghafouri (Log. J. IGPL, 2018)

Latarres, Lattices with an Arrow. - Mohammad Ardeshir; Wim Ruitenburg (Stud Logica, 2018)

Basic propositional logic and the weak excluded middle. - Majid Alizadeh; Mohammad Ardeshir (Log. J. IGPL, 2019)

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

A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. - Mohammad Ardeshir; Erfan Khaniki; Mohsen Shahriari (Notre Dame J. Formal Log., 2019)

Unification types in Euclidean modal logics. - Majid Alizadeh; Mohammad Ardeshir; Philippe Balbiani; Mojtaba Mojtahedi (Log. J. IGPL, 2023)

Kolmogorov and Kuroda Translations Into Basic Predicate Logic. - Mohammad Ardeshir; Wim Ruitenburg (Log. J. IGPL, 2024)

The provably total functions of basic arithmetic and its extensions. - Mohammad Ardeshir; Erfan Khaniki; Mohsen Shahriari (Arch. Math. Log., 2025)