Mojtaba Mojtahedi

Orcid: 0000-0001-5922-9182

According to our database¹, Mojtaba Mojtahedi authored at least 4 papers between 2022 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Relative Unification in intuitionistic Logic: towards the Provability Logic of HA.

[DOI]

J. Symb. Log., 2026

2024

Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic.

[DOI]

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Unification types in Euclidean modal logics.

[DOI]

Log. J. IGPL, May, 2023

2022

Unification with parameters in the implication fragment of classical propositional logic.

[DOI]

Log. J. IGPL, 2022