Raheleh Jalali

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 17

Top Topics

Interpolation Algorithm

Top Venues

Ann. Pure Appl. Log.

Publications

Stefan Hetzl, Raheleh Jalali
On the Completeness of Interpolation Algorithms. LICS (2024)
Stefan Hetzl, Raheleh Jalali
On the Completeness of Interpolation Algorithms. CoRR (2024)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. TABLEAUX (2023)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation. CoRR (2023)
Rosalie Iemhoff, Raheleh Jalali
Universal Proof Theory, TACL 2022 Lecture Notes. CoRR (2023)
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
Uniform Lyndon interpolation for intuitionistic monotone modal logic. AiML (2022)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Constructive Rules and Feasible Admissibility. CoRR (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon interpolation for intuitionistic monotone modal logic. CoRR (2022)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics. CoRR (2022)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Uniform Interpolation via Nested Sequents. WoLLIC (2021)
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics. WoLLIC (2021)
Raheleh Jalali
Proof complexity of substructural logics. Ann. Pure Appl. Log. 172 (7) (2021)
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
Uniform interpolation via nested sequents and hypersequents. CoRR (2021)
Raheleh Jalali
Proof Complexity of Substructural Logics. CoRR (2020)
Raheleh Jalali
An Exponential Lower Bound for Proofs in Focused Calculi. WoLLIC (2019)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation. CoRR (2018)
Amirhossein Akbar Tabatabai, Raheleh Jalali
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation. CoRR (2018)