Bahareh Afshari's Homepage
Computer Science and Engineering Department
University of Gothenburg

Publications: Bahareh Afshari

An infinitary treatment of full mu-calculus
Bahareh Afshari, Gerhard Jäger and Graham E. Leigh
In: Proceeding of WoLLIC'19. Pages 17-34. 2019.
BibTeX | Download (pdf) | DOI (10.1007/978-3-662-59533-6)

Herbrand’s Theorem as Higher Order Recursion
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh

In: Oberwolfach Preprints. OWP 2018-01.
BibTeX | Download (pdf) | DOI (10.14760/OWP-2018-01)

Cut-free completeness for modal mu-calculus
Bahareh Afshari and Graham E. Leigh
In: Proceeding of LICS'17. Pages 1-12. 2017.
BibTeX | Download (pdf) | DOI (10.1109/LICS.2017.8005088)

Finitary proof systems for Kozen's μ
Bahareh Afshari and Graham E. Leigh

In: Oberwolfach Preprints. OWP 2016-26.
BibTeX | Download (pdf) | DOI (10.14760/OWP-2016-26)

Herbrand's theorem revisited
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh

In: V. Bach and H. Fassbender, editors, Proc. Appl. Math. Mech. Vol 16. WILEY-VCH Verlag. Pages 905-906. 2016.
BibTeX | Download (pdf) | DOI (10.1002/pamm.201610441)

Circular proofs for the modal mu-calculus
Bahareh Afshari and Graham E. Leigh
In: V. Bach and H. Fassbender, editors, Proc. Appl. Math. Mech. Vol 16. WILEY-VCH Verlag. Pages 893-894. 2016.
BibTeX | Download (pdf) | DOI (10.1002/pamm.201610435)

Herbrand confluence for first-order proofs with Π2-cuts
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
In: D. Probst and P. Schuster, editors, Concepts of Proof in Mathematics, Philosophy, and Computer Science. Ontos Mathematical Logic 6. Berlin, Boston: De Gruyter. Pages 5-40. 2016.
BibTeX | DOI (10.1515/9781501502620-003)

On the Herbrand content of LK
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
In: U. Kohlenbach, S. van Bakel and S. Berardi, editors,  CL&C'16. Vol. 213 of EPTCS. Pages 1-10. 2016.
BibTeX | DOI (10.4204/EPTCS.213.1)

Herbrand disjunctions, cut elimination and context-free tree grammars
Bahareh Afshari, Stefan Hetzl and Graham E. Leigh
In: T. Altenkirch, editor,  TLCA'15. Vol. 38 of LIPIcs. Pages 1-16. 2015.
BibTeX | Download (pdf) | DOI (10.4230/LIPIcs.TLCA.2015.1)

On closure ordinals for the modal mu−calculus
Bahareh Afshari and Graham E. Leigh
In: S.R. Della Rocca, editor, CSL '13. Vol. 23 of LIPIcs. Pages 30–44. 2013.
BibTeX | Download  (pdf) | DOI (10.4230/LIPIcs.CSL.2013.30)

Ordinal analysis and the infinite Ramsey theorem
Bahareh Afshari and Michael Rathjen
In: A. Dawar, S.B. Cooper and B. Löwe, editors, CiE '12. Vol. 7318 of LNCS. Pages 1–10. Springer. 2012.
BibTeX | Download  (pdf) | DOI (10.1007/978-3-642-30870-3_1)

A note on the theory of positive induction‚ ID1*
Bahareh Afshari and Michael Rathjen
Archive for Mathematical Logic. Vol. 49. No. 2. Pages 275–281. 2010.
BibTeX | Download  (pdf) | DOI (10.1007/s00153-009-0168-9)

Reverse mathematics and well−ordering principles: A pilot study
Bahareh Afshari and Michael Rathjen
Annals of Pure and Applied Logic. Vol. 160. No. 3. Pages 231–237. 2009.
BibTeX | Download  (pdf) | DOI (10.1016/j.apal.2009.01.001)

Relative computability and the proof−theoretic strength of some theories
Bahareh Afshari
PhD Thesis, School of Mathematics‚ University of Leeds. 2008.
BibTeX

Post's programme for the Ershov hierarchy
Bahareh Afshari‚ George Barmpalias‚ S. Barry Cooper and Frank Stephan
Journal of Logic and Computation. Vol. 17. No. 6. Pages 1025–1040. 2007.
BibTeX | Download  (pdf) | DOI (10.1093/logcom/exm032)

Immunity Properties and the n−C.E. Hierarchy
Bahareh Afshari‚ George Barmpalias and S. Barry Cooper
In: J. Cai‚ S.B. Cooper and A. Li, editors, TAMC. Vol. 3959 of Lecture Notes in Computer Science. Pages 694−703. Springer. 2006.
BibTeX | Download  (pdf) | DOI (10.1007/11750321_65)