Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.

Researcher

Seyedmojtaba Mojtahedi

Profile

Projects

Publications

Activities

Awards & Distinctions

2 Results

2024

Projectivity meets uniform post-interpolant : classical and intuitionistic logic

Seyedmojtaba MojtahediKonstantinos Papafilippou

C1 Conference

2024

The Σ1-provability logic of HA revisited

Seyedmojtaba Mojtahedi

Bookchapter in Dick de Jongh on intuitionistic and provability logics

2024