Raheleh Jalali

26 papers A* 1B 2C 3Journal 19

Year	Rank	Type	Title / 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