| Universal proof theory: semi-analytic rules and uniform interpolation AA Tabatabai, R Jalali arXiv preprint arXiv:1808.06258, 2018 | 14 | 2018 |
| Uniform lyndon interpolation for basic non-normal modal logics A Akbar Tabatabai, R Iemhoff, R Jalali International Workshop on Logic, Language, Information, and Computation, 287-301, 2021 | 8 | 2021 |
| Universal proof theory: semi-analytic rules and interpolation AA Tabatabai, R Jalali preprint, 2019 | 4 | 2019 |
| Universal proof theory: Semi-analytic rules and craig interpolation AA Tabatabai, R Jalali arXiv preprint arXiv:1808.06256, 2018 | 4* | 2018 |
| Implication via spacetime A Akbar Tabatabai Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad …, 2021 | 3 | 2021 |
| Geometric modality and weak exponentials AA Tabatabai arXiv preprint arXiv:1711.01736, 2017 | 3 | 2017 |
| Universal proof theory: Feasible admissibility in intuitionistic modal logics AA Tabatabai, R Jalali Annals of Pure and Applied Logic 176 (2), 103526, 2025 | 1 | 2025 |
| Uniform lyndon interpolation for basic non-normal modal and conditional logics A Akbar Tabatabai, R Iemhoff, R Jalali Journal of Logic and Computation, exae057, 2024 | 1* | 2024 |
| Uniform Lyndon interpolation for intuitionistic monotone modal logic AA Tabatabai, R Iemhoff, R Jalali arXiv preprint arXiv:2208.04607, 2022 | 1 | 2022 |
| Universal Proof Theory: Constructive Rules and Feasible Admissibility AA Tabatabai, R Jalali THE PROOF SOCIETY, 80, 2022 | 1 | 2022 |
| Proof Mining in Bounded Arithmetic AA Tabatabai preprint, 2018 | 1 | 2018 |
| Provability interpretation of propositional and modal logics AA Tabatabai arXiv preprint arXiv:1704.07677, 2017 | 1 | 2017 |
| An Introduction to Categorical Proof Theory AA Tabatabai arXiv preprint arXiv:2408.09488, 2024 | | 2024 |
| On a Generalization of Heyting Algebras I A Akbar Tabatabai, M Alizadeh, M Memarzadeh Studia Logica, 1-45, 2024 | | 2024 |
| Witnessing Flows in Arithmetic AA Tabatabai arXiv preprint arXiv:2404.11218, 2024 | | 2024 |
| On Geometric Implications A Akbar Tabatabai Studia Logica, 1-30, 2024 | | 2024 |
| Mining the Surface: Witnessing the Low Complexity Theorems of Arithmetic A Akbar Tabatabai International Workshop on Logic, Language, Information, and Computation, 378-394, 2022 | | 2022 |
| Predicative Implications: A Topological Approach AA Tabatabai TACL 2019, 25, 2019 | | 2019 |
| Computational flows in arithmetic AA Tabatabai arXiv preprint arXiv:1711.01735, 2017 | | 2017 |
| Provability logics of hierarchies AA Tabatabai arXiv preprint arXiv:1704.07678, 2017 | | 2017 |
Raheleh Jalalipostdoc in mathematical logic, The Czezh Academy of Sciences在 cs.cas.cz 的电子邮件经过验证
