Mojtaba Aghaei

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 2

Top Topics

Top Venues

Logica Universalis

Notre Dame J. Formal Log.

Publications

Hamzeh Mohammadi, Mojtaba Aghaei
Rooted Hypersequent Calculus for Modal Logic S5. Logica Universalis 17 (3) (2023)
Mojtaba Aghaei, Maryam Rostamigiv
Rejecting inadmissible rules in reduced normal forms in S4. CoRR (2017)
Mojtaba Aghaei, Amir Khamseh
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts. Notre Dame J. Formal Log. 55 (2) (2014)
Mojtaba Aghaei, Mohammad Ardeshir
A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Log. 42 (3) (2003)
Mojtaba Aghaei, Mohammad Ardeshir
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Stud Logica 68 (2) (2001)
Mojtaba Aghaei, Mohammad Ardeshir
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. Math. Log. Q. 46 (2) (2000)