Immunity Properties and the n-C.E. Hierarchy. - Bahareh Afshari; George Barmpalias; S. Barry Cooper (TAMC, 2006)

Post's Programme for the Ershov Hierarchy. - Bahareh Afshari; George Barmpalias; S. Barry Cooper; Frank Stephan 001 (J. Log. Comput., 2007)

Reverse mathematics and well-ordering principles: A pilot study. - Bahareh Afshari; Michael Rathjen (Ann. Pure Appl. Log., 2009)

A note on the theory of positive induction, ID*1. - Bahareh Afshari; Michael Rathjen (Arch. Math. Log., 2010)

Ordinal Analysis and the Infinite Ramsey Theorem. - Bahareh Afshari; Michael Rathjen (CiE, 2012)

On closure ordinals for the modal mu-calculus. - Bahareh Afshari; Graham E. Leigh (CSL, 2013)

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. - Bahareh Afshari; Stefan Hetzl; Graham Emil Leigh (TLCA, 2015)

On the Herbrand content of LK. - Bahareh Afshari; Stefan Hetzl; Graham E. Leigh (CL&C, 2016)

Cut-free completeness for modal mu-calculus. - Bahareh Afshari; Graham E. Leigh (LICS, 2017)

Lyndon Interpolation for Modal μ-Calculus. - Bahareh Afshari; Graham E. Leigh (TbiLLC, 2019)

An Infinitary Treatment of Full Mu-Calculus. - Bahareh Afshari; Gerhard Jäger; Graham E. Leigh (WoLLIC, 2019)

Cyclic Proof Systems for Modal Logics. - Bahareh Afshari (AiML, 2020)

Herbrand's theorem as higher order recursion. - Bahareh Afshari; Stefan Hetzl; Graham E. Leigh (Ann. Pure Appl. Log., 2020)

Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (TABLEAUX, 2021)

A Cyclic Proof System for Full Computation Tree Logic. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (CSL, 2023)

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (TABLEAUX, 2023)

Exact bounds for acyclic higher-order recursion schemes. - Bahareh Afshari; Dominik Wehr (Inf. Comput., 2023)

Algebraic connectivity of the second power of a graph. - Bahareh Afshari (J. Graph Theory, 2023)

Intuitionistic Master Modality. - Bahareh Afshari; Lide Grotenhuis; Graham E. Leigh; Lukas Zenger (AiML, 2024)

Demystifying μ. - Bahareh Afshari; Graham E. Leigh; Guillermo Menéndez Turata (CoRR, 2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic. - Bahareh Afshari; Johannes Kloibhofer (CoRR, 2024)

Abstract cyclic proofs. - Bahareh Afshari; Dominik Wehr (Math. Struct. Comput. Sci., 2024)

Cyclic proofs for the first-order µ-calculus. - Bahareh Afshari; Sebastian Enqvist; Graham E. Leigh (Log. J. IGPL, 2024)