Raheleh Jalali

Available identifiers

zbMath Open jalali.rahelehMaRDI QIDQ2032996

List of research outcomes

Publication	Date of Publication	Type
Universal proof theory: feasible admissibility in intuitionistic modal logics	2024-12-12	Paper
Universal proof theory: semi-analytic rules and Craig interpolation	2024-10-07	Paper
Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation	2024-05-17	Paper
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	N/A	Paper
On the Completeness of Interpolation Algorithms	N/A	Paper

Research outcomes over time

This page was built for person: Raheleh Jalali