Raheleh Jalali

26 papers A* 1B 2C 3Journal 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interpolation in Proof Theory.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2026 — ed.
Logic, Language, and Computation - 14th International Tbilisi Symposium, TbiLLC 2023, Telavi, Georgia, September 18-22, 2023, Revised Selected Papers
Tbilisi
Lotte Hogeweg, Raheleh Jalali, Igor Sedlár, Lena Schwarz
2026 J jnl
Proof Complexity of Linear Logics.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2025 J jnl
Feasibility of Primality in Bounded Arithmetic.
CoRR
Raheleh Jalali, Ondrej Jezil
2025 J jnl
Skolemization In Intermediate Logics.
CoRR
Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali
2025 J jnl
Uniform interpolation via nested sequents and hypersequents.
J. Log. Comput.
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2025 J jnl
Uniform lyndon interpolation for basic non-normal modal and conditional logics.
J. Log. Comput.
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2025 J jnl
Universal proof theory: Feasible admissibility in intuitionistic modal logics.
Ann. Pure Appl. Log.
Amirhossein Akbar Tabatabai, Raheleh Jalali
2025 J jnl
Universal proof theory: Semi-analytic rules and Craig interpolation.
Ann. Pure Appl. Log.
Amirhossein Akbar Tabatabai, Raheleh Jalali
2024 A* conf
On the Completeness of Interpolation Algorithms.
LICS
Stefan Hetzl, Raheleh Jalali
2024 J jnl
On the Completeness of Interpolation Algorithms.
CoRR
Stefan Hetzl, Raheleh Jalali
2023 B conf
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.
TABLEAUX
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023 J jnl
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2023 J jnl
Universal Proof Theory, TACL 2022 Lecture Notes.
CoRR
Rosalie Iemhoff, Raheleh Jalali
2022 J jnl
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2022 B conf
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
AiML
Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai
2022 J jnl
Uniform Lyndon interpolation for intuitionistic monotone modal logic.
CoRR
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2022 J jnl
Universal Proof Theory: Constructive Rules and Feasible Admissibility.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2021 J jnl
Proof complexity of substructural logics.
Ann. Pure Appl. Log.
Raheleh Jalali
2021 C conf
Uniform Interpolation via Nested Sequents.
WoLLIC
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2021 C conf
Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.
WoLLIC
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2021 J jnl
Uniform interpolation via nested sequents and hypersequents.
CoRR
Iris van der Giessen, Raheleh Jalali, Roman Kuznets
2020 J jnl
Proof Complexity of Substructural Logics.
CoRR
Raheleh Jalali
2019 C conf
An Exponential Lower Bound for Proofs in Focused Calculi.
WoLLIC
Raheleh Jalali
2018 J jnl
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali
2018 J jnl
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.
CoRR
Amirhossein Akbar Tabatabai, Raheleh Jalali