Mojtaba Mojtahedi

MaRDI QIDQ720756zbMATH OpenFDO

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
Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic (available as arXiv preprint)	N/A	Paper
Relative unification in intuitionistic logic: towards the provability logic of HA The Journal of Symbolic Logic	2026-03-11	Paper
On the Provability Logic of HA (available as arXiv preprint)	2026-01-01	Paper
Infinitary provability logic (available as arXiv preprint)	2026-01-01	Paper
Projectivity meets uniform post-interpolant: classical and intuitionistic logic	2025-06-26	Paper
Relative Unification in Intuitionistic Logic: Towards provability logic of HA (available as arXiv preprint)	2025-01-01	Paper
Provability Models (available as arXiv preprint)	2025-01-01	Paper
The \(\Sigma_1\)-provability logic of HA revisited	2024-10-01	Paper
Unification types in Euclidean modal logics Logic Journal of the IGPL	2023-07-06	Paper
Unification with parameters in the implication fragment of classical propositional logic Logic Journal of the IGPL	2022-07-22	Paper
On Provability Logic of HA	2022-05-11	Paper
Relative Unification in Intuitionistic Logic: Towards provability logic of HA	2022-05-11	Paper
Hard provability logics (available as arXiv preprint)	2021-03-19	Paper
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}^{*}\) Journal of Symbolic Logic	2019-09-17	Paper
Localizing finite-depth Kripke models Logic Journal of the IGPL	2019-06-18	Paper
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\) Annals of Pure and Applied Logic	2018-07-17	Paper
Localizing Finite-Depth Kripke Models (available as arXiv preprint)	2017-10-24	Paper

Research outcomes over time

This page was built for person: Mojtaba Mojtahedi