Universal proof theory: semi-analytic rules and uniform interpolation AA Tabatabai, R Jalali arXiv preprint arXiv:1808.06258, 2018 | 7 | 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 | 6 | 2021 |
Proof complexity of substructural logics R Jalali Annals of Pure and Applied Logic 172 (7), 102972, 2021 | 5 | 2021 |
Universal proof theory: semi-analytic rules and uniform interpolation A Akbar Tabatabai, R Jalali arXiv preprint arXiv:1808.06258, 2018 | 5 | 2018 |
Universal proof theory: semi-analytic rules and interpolation AA Tabatabai, R Jalali preprint, 2019 | 4 | 2019 |
Uniform interpolation via nested sequents I van der Giessen, R Jalali, R Kuznets International Workshop on Logic, Language, Information, and Computation, 337-354, 2021 | 3 | 2021 |
Universal proof theory: Semi-analytic rules and craig interpolation AA Tabatabai, R Jalali arXiv preprint arXiv:1808.06256, 2018 | 3 | 2018 |
An exponential lower bound for proofs in focused calculi R Jalali International Workshop on Logic, Language, Information, and Computation …, 2019 | 1 | 2019 |
On the Completeness of Interpolation Algorithms S Hetzl, R Jalali arXiv preprint arXiv:2402.02829, 2024 | | 2024 |
Extensions of: Proof Theory and Uniform Lyndon Interpolation I van der Giessen, R Jalali, R Kuznets International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
Universal Proof Theory, TACL 2022 Lecture Notes R Iemhoff, R Jalali arXiv preprint arXiv:2305.10888, 2023 | | 2023 |
Nested Sequents, Kripke Models, and Uniform Interpolation I van der Giessen, R Jalali, R Kuznets | | 2022 |
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics AA Tabatabai, R Jalali arXiv preprint arXiv:2209.08911, 2022 | | 2022 |
Weak Systems Have Intractable Theorems R Jalali VO| Ume Of, 2022 | | 2022 |
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics AA Tabatabai, R Iemhoff, R Jalali arXiv preprint arXiv:2208.05202, 2022 | | 2022 |
Uniform Lyndon interpolation for intuitionistic monotone modal logic AA Tabatabai, R Iemhoff, R Jalali arXiv preprint arXiv:2208.04607, 2022 | | 2022 |
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics RJ AA Tabatabai, R Iemhoff arXiv preprint arXiv:2208.05202, 2022 | | 2022 |
Universal Proof Theory: Constructive Rules and Feasible Admissibility AA Tabatabai, R Jalali THE PROOF SOCIETY, 80, 2022 | | 2022 |
Semi-analytic Rules and Craig Interpolation AA Tabatabai, R Jalali SYSMICS2019, 136, 2019 | | 2019 |
Logic of Quantifier Shifts R Iemhoff, R Jalali | | |