Bahareh Afshari

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 15

Top Topics

Cut Elimination

Natural Deduction

Formal Language

Top Venues

Publications

Bahareh Afshari, Johannes Kloibhofer
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic. CoRR (2024)
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
Cyclic proofs for the first-order µ-calculus. Log. J. IGPL 32 (1) (2024)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Demystifying μ. CoRR (2024)
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic. TABLEAUX (2023)
Bahareh Afshari, Dominik Wehr
Exact bounds for acyclic higher-order recursion schemes. Inf. Comput. 290 (2023)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
A Cyclic Proof System for Full Computation Tree Logic. CSL (2023)
Bahareh Afshari
Algebraic connectivity of the second power of a graph. J. Graph Theory 104 (2) (2023)
Bahareh Afshari, Dominik Wehr
Abstract Cyclic Proofs. WoLLIC (2022)
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus. TABLEAUX (2021)
Bahareh Afshari
Cyclic Proof Systems for Modal Logics. AiML (2020)
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Herbrand's theorem as higher order recursion. Ann. Pure Appl. Log. 171 (6) (2020)
Bahareh Afshari, Graham E. Leigh
Lyndon Interpolation for Modal μ-Calculus. TbiLLC (2019)
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
An Infinitary Treatment of Full Mu-Calculus. WoLLIC (2019)
Bahareh Afshari, Graham E. Leigh
Cut-free completeness for modal mu-calculus. LICS (2017)
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
On the Herbrand content of LK. CL&C (2016)
Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars. TLCA (2015)
Bahareh Afshari, Graham E. Leigh
On closure ordinals for the modal mu-calculus. CSL (2013)
Bahareh Afshari, Michael Rathjen
Ordinal Analysis and the Infinite Ramsey Theorem. CiE (2012)
Bahareh Afshari, Michael Rathjen
. Arch. Math. Log. 49 (2) (2010)
Bahareh Afshari, Michael Rathjen
Reverse mathematics and well-ordering principles: A pilot study. Ann. Pure Appl. Log. 160 (3) (2009)
Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan
Post's Programme for the Ershov Hierarchy. J. Log. Comput. 17 (6) (2007)
Bahareh Afshari, George Barmpalias, S. Barry Cooper
-C.E. Hierarchy. TAMC (2006)