Raheleh Jalali

According to our database, Raheleh Jalali authored at least 16 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Feasibility of Primality in Bounded Arithmetic.

Raheleh Jalali, Ondrej Jezil

CoRR, April, 2025

Skolemization In Intermediate Logics.

Matthias Baaz, Mariami Gamsakhurdia, Rosalie Iemhoff, Raheleh Jalali

CoRR, January, 2025

Uniform lyndon interpolation for basic non-normal modal and conditional logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

J. Log. Comput., 2025

Uniform interpolation via nested sequents and hypersequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

J. Log. Comput., 2025

Universal proof theory: Feasible admissibility in intuitionistic modal logics.

Amirhossein Akbar Tabatabai, Raheleh Jalali

Ann. Pure Appl. Log., 2025

Universal proof theory: Semi-analytic rules and Craig interpolation.

Amirhossein Akbar Tabatabai, Raheleh Jalali

Ann. Pure Appl. Log., 2025

2024

On the Completeness of Interpolation Algorithms.

Stefan Hetzl, Raheleh Jalali

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Universal Proof Theory, TACL 2022 Lecture Notes.

Rosalie Iemhoff, Raheleh Jalali

CoRR, 2023

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

2022

Universal Proof Theory: Constructive Rules and Feasible Admissibility.

Amirhossein Akbar Tabatabai, Raheleh Jalali

CoRR, 2022

Uniform Lyndon interpolation for intuitionistic monotone modal logic.

Rosalie Iemhoff, Raheleh Jalali, Amirhossein Akbar Tabatabai

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Proof complexity of substructural logics.

Raheleh Jalali

Ann. Pure Appl. Log., 2021

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.

Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali

Proceedings of the Logic, Language, Information, and Computation, 2021

Uniform Interpolation via Nested Sequents.

Iris van der Giessen, Raheleh Jalali, Roman Kuznets

Proceedings of the Logic, Language, Information, and Computation, 2021

2019

An Exponential Lower Bound for Proofs in Focused Calculi.

Raheleh Jalali

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.

Amirhossein Akbar Tabatabai, Raheleh Jalali

CoRR, 2018