Bahareh Afshari

29 papers A* 1B 7C 4Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cut-elimination for the alternation-free modal mu-calculus.
CoRR
Bahareh Afshari, Johannes Kloibhofer
2025 J jnl
Demystifying μ.
Fundam. Informaticae
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2025 J jnl
Herbrand schemes for first-order logic.
Arch. Math. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2025 B conf
Intuitionistic μ-Calculus with the Lewis Arrow.
TABLEAUX
Bahareh Afshari, Lide Grotenhuis
2025 J jnl
Proof Systems for two-Way Modal
J. Symb. Log.
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
2024 J jnl
Abstract cyclic proofs.
Math. Struct. Comput. Sci.
Bahareh Afshari, Dominik Wehr
2024 — conf
Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
FICS@CSL
Bahareh Afshari, Johannes Kloibhofer
2024 J jnl
Cyclic proofs for the first-order µ-calculus.
Log. J. IGPL
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
2024 J jnl
Demystifying μ.
CoRR
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2024 B conf
Intuitionistic Master Modality.
AiML
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
2024 — conf
The Limit of Recursion in State-based Systems.
FICS@CSL
Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh
2023 B conf
A Cyclic Proof System for Full Computation Tree Logic.
CSL
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2023 J jnl
Exact bounds for acyclic higher-order recursion schemes.
Inf. Comput.
Bahareh Afshari, Dominik Wehr
2023 B conf
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic.
TABLEAUX
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
2022 C conf
Abstract Cyclic Proofs.
WoLLIC
Bahareh Afshari, Dominik Wehr
2021 B conf
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.
TABLEAUX
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
2020 B conf
Cyclic Proof Systems for Modal Logics.
AiML
Bahareh Afshari
2020 J jnl
Herbrand's theorem as higher order recursion.
Ann. Pure Appl. Log.
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2019 C conf
An Infinitary Treatment of Full Mu-Calculus.
WoLLIC
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
2019 — conf
Lyndon Interpolation for Modal μ-Calculus.
TbiLLC
Bahareh Afshari, Graham E. Leigh
2017 A* conf
Cut-free completeness for modal mu-calculus.
LICS
Bahareh Afshari, Graham E. Leigh
2016 — conf
On the Herbrand content of LK.
CL&C
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2015 — conf
Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars.
TLCA
Bahareh Afshari, Stefan Hetzl, Graham Emil Leigh
2013 B conf
On closure ordinals for the modal mu-calculus.
CSL
Bahareh Afshari, Graham E. Leigh
2012 C conf
Ordinal Analysis and the Infinite Ramsey Theorem.
CiE
Bahareh Afshari, Michael Rathjen
2010 J jnl
A note on the theory of positive induction, ID
Arch. Math. Log.
Bahareh Afshari, Michael Rathjen
2009 J jnl
Reverse mathematics and well-ordering principles: A pilot study.
Ann. Pure Appl. Log.
Bahareh Afshari, Michael Rathjen
2007 J jnl
Post's Programme for the Ershov Hierarchy.
J. Log. Comput.
Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan
2006 C conf
Immunity Properties and the
TAMC
Bahareh Afshari, George Barmpalias, S. Barry Cooper