Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation. - Amirhossein Akbar Tabatabai; Raheleh Jalali (CoRR, 2018)

An Exponential Lower Bound for Proofs in Focused Calculi. - Raheleh Jalali (WoLLIC, 2019)

Uniform Interpolation via Nested Sequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (WoLLIC, 2021)

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. - Amirhossein Akbar Tabatabai; Rosalie Iemhoff; Raheleh Jalali (WoLLIC, 2021)

Proof complexity of substructural logics. - Raheleh Jalali (Ann. Pure Appl. Log., 2021)

Uniform Lyndon interpolation for intuitionistic monotone modal logic. - Rosalie Iemhoff; Raheleh Jalali; Amirhossein Akbar Tabatabai (AiML, 2022)

Universal Proof Theory: Constructive Rules and Feasible Admissibility. - Amirhossein Akbar Tabatabai; Raheleh Jalali (CoRR, 2022)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (TABLEAUX, 2023)

Universal Proof Theory, TACL 2022 Lecture Notes. - Rosalie Iemhoff; Raheleh Jalali (CoRR, 2023)

On the Completeness of Interpolation Algorithms. - Stefan Hetzl; Raheleh Jalali (LICS, 2024)

Universal proof theory: Semi-analytic rules and Craig interpolation. - Amirhossein Akbar Tabatabai; Raheleh Jalali (Ann. Pure Appl. Log., 2025)

Universal proof theory: Feasible admissibility in intuitionistic modal logics. - Amirhossein Akbar Tabatabai; Raheleh Jalali (Ann. Pure Appl. Log., 2025)

Uniform interpolation via nested sequents and hypersequents. - Iris van der Giessen; Raheleh Jalali; Roman Kuznets (J. Log. Comput., 2025)

Uniform lyndon interpolation for basic non-normal modal and conditional logics. - Amirhossein Akbar Tabatabai; Rosalie Iemhoff; Raheleh Jalali (J. Log. Comput., 2025)

Skolemization In Intermediate Logics. - Matthias Baaz; Mariami Gamsakhurdia; Rosalie Iemhoff; Raheleh Jalali (CoRR, 2025)

Feasibility of Primality in Bounded Arithmetic. - Raheleh Jalali; Ondrej Jezil (CoRR, 2025)