Bahareh Afshari

Available identifiers

Publication	Date of Publication	Type
Abstract cyclic proofs	2024-11-29	Paper
Cyclic proofs for the first-order $\mu$-calculus	2024-11-15	Paper
A cyclic proof system for full computation tree logic	2024-09-25	Paper
Ill-founded proof systems for intuitionistic linear-time temporal logic	2024-05-17	Paper
Abstract cyclic proofs	2023-06-02	Paper
Exact bounds for acyclic higher-order recursion schemes	2023-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q5104692	2022-09-15	Paper
Lyndon Interpolation for Modal $$\mu $$-Calculus	2022-08-11	Paper
Uniform interpolation from cyclic proofs: the case of modal mu-calculus	2022-05-25	Paper
On the Herbrand content of LK	2021-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5144634	2021-01-19	Paper
Herbrand's theorem as higher order recursion	2020-04-14	Paper
Herbrand Confluence for First-Order Proofs with Π₂-Cuts	2020-04-02	Paper
An infinitary treatment of full $\mu$-calculus	2020-03-04	Paper
Herbrand disjunctions, cut elimination and context-free tree grammars	2017-07-12	Paper
On closure ordinals for the modal $\mu$-calculus	2017-02-02	Paper
Ordinal analysis and the infinite Ramsey theorem	2012-08-14	Paper
A note on the theory of positive induction, ${{\text{ID}}^*_1}$	2010-03-02	Paper
Reverse mathematics and well-ordering principles: a pilot study	2009-10-26	Paper
Post's Programme for the Ershov Hierarchy	2008-02-07	Paper
Theory and Applications of Models of Computation	2007-04-30	Paper
Demystifying $\mu$	N/A	Paper
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic	N/A	Paper

This page was built for person: Bahareh Afshari