S. Mojtaba Mojtahedi

From MaRDI portal

Revision as of 02:36, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:481875

Jump to:navigation, search

Available identifiers

zbMath Open mojtahedi.s-mojtabaMaRDI QIDQ481875

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Reduction of provability logics to Σ₁-provability logics	2019-01-08	Paper
The de Jongh property for basic arithmetic	2014-12-15	Paper
The $\Sigma$_1 Provability Logic of HA	2014-09-19	Paper
Completeness of intermediate logics with doubly negated axioms	2014-03-21	Paper

Research outcomes over time

This page was built for person: S. Mojtaba Mojtahedi

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:481875&oldid=6745825"