Mojtaba Mojtahedi

Available identifiers

zbMath Open mojtahedi.mojtabaMaRDI QIDQ720756

List of research outcomes

Publication	Date of Publication	Type
The \(\Sigma_1\)-provability logic of HA revisited	2024-10-01	Paper
Unification types in Euclidean modal logics	2023-07-06	Paper
Unification with parameters in the implication fragment of classical propositional logic	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	2021-03-19	Paper
THE -PROVABILITY LOGIC OF	2019-09-17	Paper
Localizing finite-depth Kripke models	2019-06-18	Paper
The \(\Sigma_1\)-provability logic of \(\mathsf{HA}\)	2018-07-17	Paper
Localizing Finite-Depth Kripke Models	2017-10-24	Paper
Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic	N/A	Paper

Research outcomes over time

This page was built for person: Mojtaba Mojtahedi