Mojtaba Mojtahedi

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

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

[BibT_eX]

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

2023

Unification types in Euclidean modal logics.

[BibT_eX]

[DOI]

Log. J. IGPL, May, 2023

2022

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

[BibT_eX]

[DOI]

Log. J. IGPL, 2022