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

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

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

Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts. - Mojtaba Aghaei; Amir Khamseh (Notre Dame J. Formal Log., 2014)

Rejecting inadmissible rules in reduced normal forms in S4. - Mojtaba Aghaei; Maryam Rostamigiv (CoRR, 2017)

Rooted Hypersequent Calculus for Modal Logic S5. - Hamzeh Mohammadi; Mojtaba Aghaei (Logica Universalis, 2023)