Majid Alizadeh

19 papers C 1Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic.
CoRR
Amirhossein Akbar Tabatabai, Majid Alizadeh, Alireza Mahmoudian
2025 J jnl
Meet MASKS: integrating distributed knowledge and verification for multi-agent systems.
Soft Comput.
Majid Alizadeh, Amirhoshang Hoseinpour Dehkordi, Ali Movaghar
2025 J jnl
On a Generalization of Heyting Algebras I.
Stud Logica
Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
2024 J jnl
Remarks on uniform interpolation property.
Log. J. IGPL
Majid Alizadeh
2023 J jnl
Unification types in Euclidean modal logics.
Log. J. IGPL
Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
2022 J jnl
Lyndon's interpolation property for the logic of strict implication.
Log. J. IGPL
Narbe Aboolian, Majid Alizadeh
2020 J jnl
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers.
CoRR
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ali Movaghar
2020 J jnl
MASKS: A Multi-Artificial Neural Networks System's verification approach.
CoRR
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar
2019 J jnl
Basic propositional logic and the weak excluded middle.
Log. J. IGPL
Majid Alizadeh, Mohammad Ardeshir
2016 J jnl
Boolean Algebras in Visser Algebras.
Notre Dame J. Formal Log.
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2015 J jnl
Counting weak Heyting algebras on finite distributive lattices.
Log. J. IGPL
Majid Alizadeh, Nima Joharizadeh
2014 J jnl
Uniform interpolation in Substructural Logics.
Rev. Symb. Log.
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
2013 — conf
A new Glivenko Theorem.
TACL
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
2012 J jnl
On Löb algebras, II.
Log. J. IGPL
Majid Alizadeh, Mohammad Ardeshir
2011 J jnl
Completion and amalgamation of bounded distributive quasi lattices.
Log. J. IGPL
Majid Alizadeh, Antonio Ledda, Hector Freytes
2009 C conf
Completions of Basic Algebras.
WoLLIC
Majid Alizadeh
2006 J jnl
Amalgamation property for the class of basic algebras and some of its natural subclasses.
Arch. Math. Log.
Majid Alizadeh, Mohammad Ardeshir
2006 J jnl
On Löb algebras.
Math. Log. Q.
Majid Alizadeh, Mohammad Ardeshir
2004 J jnl
On the linear Lindenbaum algebra of Basic Propositional Logic.
Math. Log. Q.
Majid Alizadeh, Mohammad Ardeshir