Mojtaba Aghaei

According to our database, Mojtaba Aghaei authored at least 6 papers between 2000 and 2023.

Collaborative distances:

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

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