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 Löb algebras. - Majid Alizadeh; Mohammad Ardeshir (Math. Log. Q., 2006)

Completions of Basic Algebras. - Majid Alizadeh (WoLLIC, 2009)

Completion and amalgamation of bounded distributive quasi lattices. - Majid Alizadeh; Antonio Ledda; Hector Freytes (Log. J. IGPL, 2011)

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

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

Uniform interpolation in Substructural Logics. - Majid Alizadeh; Farzaneh Derakhshan; Hiroakira Ono (Rev. Symb. Log., 2014)

Counting weak Heyting algebras on finite distributive lattices. - Majid Alizadeh; Nima Joharizadeh (Log. J. IGPL, 2015)

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

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

MASKS: A Multi-Artificial Neural Networks System's verification approach. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ebrahim Ardeshir-Larijani; Ali Movaghar 001 (CoRR, 2020)

Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers. - Amirhoshang Hoseinpour Dehkordi; Majid Alizadeh; Ali Movaghar 001 (CoRR, 2020)

Lyndon's interpolation property for the logic of strict implication. - Narbe Aboolian; Majid Alizadeh (Log. J. IGPL, 2022)

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

Remarks on uniform interpolation property. - Majid Alizadeh (Log. J. IGPL, 2024)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic. - Amirhossein Akbar Tabatabai; Majid Alizadeh; Alireza Mahmoudian (CoRR, 2025)

Meet MASKS: integrating distributed knowledge and verification for multi-agent systems. - Majid Alizadeh; Amirhoshang Hoseinpour Dehkordi; Ali Movaghar 001 (Soft Comput., 2025)

On a Generalization of Heyting Algebras I. - Amirhossein Akbar Tabatabai; Majid Alizadeh; Masoud Memarzadeh (Stud Logica, 2025)