We stand with Ukraine  

Raheleh Jalali

Orcid: 0000-0002-3321-8087

Affiliations:
  • Utrecht University, The Netherlands


According to our database1, Raheleh Jalali authored at least 13 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On the Completeness of Interpolation Algorithms.
[BibTeX]
[DOI]
Stefan Hetzl
,
Raheleh Jalali
CoRR, 2024

2023
Universal Proof Theory, TACL 2022 Lecture Notes.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
Raheleh Jalali
CoRR, 2023

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2022

Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Rosalie Iemhoff
,
Raheleh Jalali
CoRR, 2022

Uniform Lyndon interpolation for intuitionistic monotone modal logic.
[BibTeX]
[DOI]
Rosalie Iemhoff
,
Raheleh Jalali
,
Amirhossein Akbar Tabatabai
Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021
Uniform interpolation via nested sequents and hypersequents.
[BibTeX]
[DOI]
Iris van der Giessen
,
Raheleh Jalali
,
Roman Kuznets
CoRR, 2021

Proof complexity of substructural logics.
[BibTeX]
[DOI]
Raheleh Jalali
Ann. Pure Appl. Log., 2021

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Rosalie Iemhoff
,
Raheleh Jalali
Proceedings of the Logic, Language, Information, and Computation, 2021

Uniform Interpolation via Nested Sequents.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Raheleh Jalali
Proceedings of the Logic, Language, Information, and Computation, 2019

2018
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2018

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Raheleh Jalali
CoRR, 2018


  Loading...