Raheleh Jalali

Available identifiers

zbMath Open jalali.rahelehMaRDI QIDQ2032996

List of research outcomes

Publication	Date of Publication	Type
Universal Proof Theory, TACL 2022 Lecture Notes	2023-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5884937	2023-03-24	Paper
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics	2022-09-19	Paper
Uniform Lyndon Interpolation for Basic Non-normal Modal and Conditional Logics	2022-08-10	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic	2022-08-09	Paper
Uniform Lyndon interpolation for basic non-normal modal logics	2022-06-24	Paper
Uniform interpolation via nested sequents	2022-06-24	Paper
Proof complexity of substructural logics	2021-06-14	Paper
An exponential lower bound for proofs in focused calculi	2020-03-04	Paper
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation	2018-08-19	Paper
Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation	2018-08-19	Paper
Extensions of K5: Proof Theory and Uniform Lyndon Interpolation	0001-01-03	Paper
On the Completeness of Interpolation Algorithms	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Raheleh Jalali