Mohammad Ardeshir

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 10

Top Topics

Polynomially Bounded

Inheritance Reasoning

Top Venues

Notre Dame J. Formal Log.

Arch. Math. Log.

Publications

Mohammad Ardeshir, Wim Ruitenburg
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL 32 (1) (2024)
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
Unification types in Euclidean modal logics. Log. J. IGPL 31 (3) (2023)
Mohammad Ardeshir, Erfan Khaniki, Mohsen Shahriari
A Counterexample to Polynomially Bounded Realizability of Basic Arithmetic. Notre Dame J. Formal Log. 60 (3) (2019)
Majid Alizadeh, Mohammad Ardeshir
Basic propositional logic and the weak excluded middle. 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, Wim Ruitenburg
Latarres, Lattices with an Arrow. Stud Logica 106 (4) (2018)
Mohammad Ardeshir, Zahra Ghafouri
Compactness, colocatedness, measurability and ED. Log. J. IGPL 26 (2) (2018)
Mohammad Ardeshir, Zahra Ghafouri
The principle of open induction and Specker sequences. Log. J. IGPL 25 (2) (2017)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Boolean Algebras in Visser Algebras. Notre Dame J. Formal Log. 57 (1) (2016)
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)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
A new Glivenko Theorem. TACL (2013)
Mohammad Ardeshir, Rasoul Ramezanian
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models CoRR (2013)
Mohammad Ardeshir, Vahid Vaezian
A unification of the basic logics of Sambin and Visser. Log. J. IGPL 20 (6) (2012)
Mohammad Ardeshir, Rasoul Ramezanian
On the constructive notion of closure maps. Math. Log. Q. 58 (4-5) (2012)
Majid Alizadeh, Mohammad Ardeshir
On Löb algebras, II. Log. J. IGPL 20 (1) (2012)
Mohammad Ardeshir, Rasoul Ramezanian
A solution to the Surprise Exam Paradox in Constructive Mathematics. Rev. Symb. Log. 5 (4) (2012)
Mohammad Ardeshir, Rasoul Ramezanian
The double negation of the intermediate value theorem. Ann. Pure Appl. Log. 161 (6) (2010)
Mohammad Ardeshir, Rasoul Ramezanian
Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. 55 (6) (2009)
Mohammad Ardeshir, Bardyaa Hesaam
An Introduction to Basic Arithmetic. Log. J. IGPL 16 (1) (2008)
Majid Alizadeh, Mohammad Ardeshir
On Löb algebras. Math. Log. Q. 52 (1) (2006)
Mohammad Ardeshir, Fateme Nabavi
On some questions of L. Åqvist. Log. J. IGPL 14 (1) (2006)
Majid Alizadeh, Mohammad Ardeshir
Amalgamation property for the class of basic algebras and some of its natural subclasses. Arch. Math. Log. 45 (8) (2006)
Majid Alizadeh, Mohammad Ardeshir
On the linear Lindenbaum algebra of Basic Propositional Logic. Math. Log. Q. 50 (1) (2004)
Mojtaba Aghaei, Mohammad Ardeshir
A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Log. 42 (3) (2003)
Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi
Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Log. 124 (1-3) (2003)
Mohammad Ardeshir, Bardyaa Hesaam
Every Rooted Narrow Tree Kripke Model of HA is Locally PA. Math. Log. Q. 48 (3) (2002)
Mohammad Ardeshir, Wim Ruitenburg
Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40 (5) (2001)
Mojtaba Aghaei, Mohammad Ardeshir
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Stud Logica 68 (2) (2001)
Mojtaba Aghaei, Mohammad Ardeshir
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. Math. Log. Q. 46 (2) (2000)
Mohammad Ardeshir
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Stud Logica 62 (3) (1999)
Mohammad Ardeshir, Wim Ruitenburg
Basic Propositional Calculus I. Math. Log. Q. 44 (1998)
Mohammad Ardeshir, Mojtaba Moniri
Intuitionistic Open Induction and Least Number Principle and the Buss Operator. Notre Dame J. Formal Log. 39 (2) (1998)