Raheleh Jalali

MaRDI QIDQ2032996zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Uniform Lyndon interpolation for basic non-normal modal and conditional logics Journal of Logic and Computation	2025-09-30	Paper
Uniform interpolation via nested sequents and hypersequents Journal of Logic and Computation	2025-09-30	Paper
On the completeness of interpolation algorithms	2025-06-18	Paper
Universal proof theory: feasible admissibility in intuitionistic modal logics Annals of Pure and Applied Logic	2024-12-12	Paper
Universal proof theory: semi-analytic rules and Craig interpolation Annals of Pure and Applied Logic	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
Uniform Lyndon interpolation for intuitionistic monotone modal logic (available as arXiv preprint)	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 (available as arXiv preprint)	2022-08-10	Paper
Uniform Lyndon interpolation for intuitionistic monotone modal logic (available as arXiv preprint)	2022-08-09	Paper
Uniform Lyndon interpolation for basic non-normal modal logics (available as arXiv preprint)	2022-06-24	Paper
Uniform interpolation via nested sequents (available as arXiv preprint)	2022-06-24	Paper
Proof complexity of substructural logics Annals of Pure and Applied Logic	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 (available as arXiv preprint)	N/A	Paper
On the Completeness of Interpolation Algorithms (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Raheleh Jalali