Mojtaba Aghaei

According to our database, Mojtaba Aghaei authored at least 8 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Numerical solution for strict tracking control asymptotic stability problem of MIMO systems manipulated by hard actuation constraints.

Mohammad Reza Homaeinezhad, M. M. Mousavi Alvar, Ali Soordi, Mojtaba Aghaei, A. Hatefikousha, T. Charehjoo

Eur. J. Control, 2025

Designing nonlinear control system considering pre- and post-dynamics of feedback loop.

Mohammad Reza Homaeinezhad, M. M. Mousavi Alvar, Ali Soordi, Mojtaba Aghaei

Eur. J. Control, 2025

2023

Rooted Hypersequent Calculus for Modal Logic S5.

Hamzeh Mohammadi, Mojtaba Aghaei

Logica Universalis, September, 2023

2017

Rejecting inadmissible rules in reduced normal forms in S4.

Mojtaba Aghaei, Maryam Rostamigiv

CoRR, 2017

2014

Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts.

Mojtaba Aghaei, Amir Khamseh

Notre Dame J. Formal Log., 2014

2003

A Gentzen-style axiomatization for basic predicate calculus.

Mojtaba Aghaei, Mohammad Ardeshir

Arch. Math. Log., 2003

2001

Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.

Mojtaba Aghaei, Mohammad Ardeshir

Stud Logica, 2001

2000

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.

Mojtaba Aghaei, Mohammad Ardeshir

Math. Log. Q., 2000