Mojtaba Aghaei

Available identifiers

zbMath Open aghaei.mojtabaMaRDI QIDQ227771

List of research outcomes

Publication	Date of Publication	Type
Rooted hypersequent calculus for modal logic \textsf{S5}	2023-10-24	Paper
A Cut-free sequent calculus for modal logic S5	2017-11-13	Paper
Rejecting inadmissible rules in reduced normal forms in S4	2017-01-18	Paper
Combinatorial unprovability proofs and their model-theoretic counterparts	2014-06-04	Paper
A Gentzen-style axiomatization for basic predicate calculus	2003-09-16	Paper
Gentzen-style axiomatizations for some conservative extensions of Basic Propositional Logic	2002-04-14	Paper
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic	2000-12-06	Paper

Research outcomes over time

This page was built for person: Mojtaba Aghaei