Bahareh Afshari

According to our database, Bahareh Afshari authored at least 27 papers between 2006 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The Limit of Recursion in State-based Systems.

Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh

CoRR, November, 2025

Herbrand schemes for first-order logic.

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh

Arch. Math. Log., November, 2025

Cut-elimination for the alternation-free modal mu-calculus.

Bahareh Afshari, Johannes Kloibhofer

CoRR, October, 2025

Proof Systems for two-Way Modal <i>μ</i>-Calculus.

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema

J. Symb. Log., 2025

Intuitionistic μ-Calculus with the Lewis Arrow.

Bahareh Afshari, Lide Grotenhuis

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2025

2024

Cyclic proofs for the first-order µ-calculus.

Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh

Log. J. IGPL, January, 2024

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.

Bahareh Afshari, Johannes Kloibhofer

CoRR, 2024

Demystifying μ.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

CoRR, 2024

Intuitionistic Master Modality.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

Exact bounds for acyclic higher-order recursion schemes.

Bahareh Afshari, Dominik Wehr

Inf. Comput., January, 2023

Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.

Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2023

A Cyclic Proof System for Full Computation Tree Logic.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

2022

Abstract Cyclic Proofs.

Bahareh Afshari, Dominik Wehr

Proceedings of the Logic, Language, Information, and Computation, 2022

2021

Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.

Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

2020

Herbrand's theorem as higher order recursion.

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Ann. Pure Appl. Log., 2020

Cyclic Proof Systems for Modal Logics.

Bahareh Afshari

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

An Infinitary Treatment of Full Mu-Calculus.

Bahareh Afshari, Gerhard Jäger, Graham E. Leigh

Proceedings of the Logic, Language, Information, and Computation, 2019

Lyndon Interpolation for Modal μ-Calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2017

Cut-free completeness for modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

On the Herbrand content of LK.

Bahareh Afshari, Stefan Hetzl, Graham E. Leigh

Proceedings of the Proceedings Sixth International Workshop on Classical Logic and Computation, 2016

2015

Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars.

Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

2013

On closure ordinals for the modal mu-calculus.

Bahareh Afshari, Graham E. Leigh

Proceedings of the Computer Science Logic 2013, 2013

2012

Ordinal Analysis and the Infinite Ramsey Theorem.

Bahareh Afshari, Michael Rathjen

Proceedings of the How the World Computes, 2012

2010

A note on the theory of positive induction, ID^*₁.

Bahareh Afshari, Michael Rathjen

Arch. Math. Log., 2010

2009

Reverse mathematics and well-ordering principles: A pilot study.

Bahareh Afshari, Michael Rathjen

Ann. Pure Appl. Log., 2009

2007

Post's Programme for the Ershov Hierarchy.

Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan

J. Log. Comput., 2007

2006

Immunity Properties and the <i>n</i>-C.E. Hierarchy.

Bahareh Afshari, George Barmpalias, S. Barry Cooper

Proceedings of the Theory and Applications of Models of Computation, 2006