| 2025 | TABLEAUX | Intuitionistic μ-Calculus with the Lewis Arrow. | Bahareh Afshari, Lide Grotenhuis |
| 2024 | AiML | Intuitionistic Master Modality. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2023 | CSL | A Cyclic Proof System for Full Computation Tree Logic. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |
| 2023 | TABLEAUX | Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. | Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger |
| 2022 | WoLLIC | Abstract Cyclic Proofs. | Bahareh Afshari, Dominik Wehr |
| 2021 | TABLEAUX | Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. | Bahareh Afshari, Graham E. Leigh, Guillermo Menndez Turata |
| 2020 | AiML | Cyclic Proof Systems for Modal Logics. | Bahareh Afshari |
| 2019 | WoLLIC | An Infinitary Treatment of Full Mu-Calculus. | Bahareh Afshari, Gerhard Jger, Graham E. Leigh |
| 2017 | LICS | Cut-free completeness for modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |
| 2013 | CSL | On closure ordinals for the modal mu-calculus. | Bahareh Afshari, Graham E. Leigh |
| 2012 | CiE | Ordinal Analysis and the Infinite Ramsey Theorem. | Bahareh Afshari, Michael Rathjen |
| 2006 | TAMC | Immunity Properties and the | Bahareh Afshari, George Barmpalias, S. Barry Cooper |