Bahareh Afshari
Senior Lecturer
Philosophy and LogicAbout Bahareh Afshari
Research interests
Mathematical Logic, Theoretical Computer Science, Computability Theory, Proof Theory, Fixed Point and Modal Logics, Automata Theory and Games.
Research projects in Sweden
- Foundations for team semantics: Meaning in an enriched framework (2023-2026). Funded by the Swedish Research Council.
- Modal mu-calculus: A study in descriptive complexity (2017–2021). Funded by a Starting Grant from the Swedish Research Council.
Biography
I obtained my PhD in Mathematics from the University of Leeds, UK. Before joining Gothenburg University I have held research and teaching positions at the University of Edinburgh (School of Informatics), University of Oxford (Department of Computer Science and Keble College) and Vienna University of Technology (Institute of Discrete Mathematics and Geometry).
I am Docent in Logic (equivalent of Associate Professor). Since January 2019, I am a MacGillavry Fellow at the University of Amsterdam. See also my UvA homepage.
PhD students
- Guillermo Menéndez Turata (University of Amsterdam)
- Jan Rooduijn (co-supervisor, University of Amsterdam)
- Giacomo Barlucchi
- Dominik Wehr (co-supervisor)
- Johannes Kloibhofer (co-supervisor, University of Amsterdam)
- Lide Grotenhuis (University of Amsterdam)
- Rodrigo Nicolau Almeida (co-supervisor, University of Amsterdam)
-
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal
Logic
Bahareh Afshari, Lide Grotenhuis, Graham E. Leigh, Lukas Zenger
Automated Reasoning with Analytic Tableaux and Related Methods, 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings / Editors: Revantha Ramanayake, Josef Urban - 2023 -
Proof Systems for Two-Way Modal
Mu-Calculus
Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh, Johannes Marti, Yde Venema
Journal of Symbolic Logic - 2023 -
Exact Bounds for Acyclic Higher-Order Recursion
Schemes
Bahareh Afshari, Dominik Wehr
Information and Computation - 2023 -
A Cyclic Proof System for Full Computation Tree
Logic
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Leibniz International Proceedings in Informatics, LIPIcs Volume 2521, February 2023, EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, 13 February 2023 through 16 February 2023 - 2023 -
Lyndon Interpolation for Modal
μ-Calculus
Bahareh Afshari, Graham E. Leigh
Language, Logic, and Computation, 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16–20, 2019, Revised Selected Papers / editors: Aybüke Özgün, Yulia Zinova - 2022 -
Cyclic proofs for the first-order
mu-calculus
Bahareh Afshari, S. Enqvist, Graham E. Leigh
Logic Journal of the IGPL - 2022 -
Abstract Cyclic
Proofs
Bahareh Afshari, Dominik Wehr
Lecture Notes in Computer Science, 28th International Workshop on Logic, Language, Information and Computation, Iași, Romania, September 20–23, 2022, Proceedings - 2022 -
Uniform Interpolation from Cyclic Proofs: The Case of Modal
Mu-Calculus
Bahareh Afshari, Graham E. Leigh, Guillermo Menéndez Turata
Automated Reasoning with Analytic Tableaux and Related Methods, 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings / Anupam Das, Sara Negri (eds.) - 2021 -
Herbrand's theorem as higher order
recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Annals of Pure and Applied Logic - 2020 -
Cyclic Proof Systems for Modal
Logics
Bahareh Afshari
13th Conference on Advances in Modal Logic, AiML 2020, Helsinki, Finland, August 24-28, 2020 - 2020 -
An infinitary treatment of full
mu-calculus
Bahareh Afshari, Gerhard Jäger, Graham E. Leigh
Lecture Notes in Computer Science 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings / editors: Iemhoff, Rosalie, Moortgat, Michael, de Queiroz, Ruy - 2019 -
Herbrand’s Theorem as Higher Order
Recursion
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
2018 -
Cut-free completeness for modal
mu-calculus
Bahareh Afshari, Graham E. Leigh
32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 June 2017, Reykjavik Iceland - 2017 -
Herbrand confluence for first-order proofs with
Π2-cuts
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Concepts of Proof in Mathematics, Philosophy, and Computer Science / Dieter Probst, Peter Schuster (eds.) - 2016 -
Herbrand's theorem
revisited
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the International Association of Applied Mathematics and Mechanics (GAMM) and Deutsche Mathematiker-Vereinigung (DMV), Braunschweig 2016; Editors: V. Bach and H. Fassbender - 2016 -
On the Herbrand content of
LK
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C16). Porto, Portugal , 23th June 2016 - 2016 -
Finitary Proof Systems for Kozen’s
μ
-
Circular proofs for the modal
mu-calculus
Bahareh Afshari, Graham E. Leigh
Proceedings of Applied Mathematics and Mechanics. Joint 87th Annual Meeting of the Gesellschaft für Angewandte Mathematik und Mechanik, held 7 – 11 March 2016 at TU Braunschweig, Germany. - 2016 -
Herbrand disjunctions, cut elimination and context-free tree
grammars
Bahareh Afshari, Stefan Hetzl, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2015 -
On closure ordinals for the modal
μ-calculus
Bahareh Afshari, Graham E. Leigh
Leibniz International Proceedings in Informatics, LIPIcs - 2013 -
Ordinal analysis and the infinite Ramsey
theorem
Bahareh Afshari, Michael Rathjen
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2012 -
A note on the theory of positive induction,
ID1*
Bahareh Afshari, Michael Rathjen
Archive for Mathematical Logic - 2010 -
Reverse mathematics and well-ordering principles: A pilot
study
Bahareh Afshari, Michael Rathjen
Annals of Pure and Applied Logic - 2009 -
Relative computability and the proof−theoretic strength of some
theories
Bahareh Afshari
2008 -
Posts programme for the Ershov
hierarchy
Bahareh Afshari, George Barmpalias, S. Barry Cooper, Frank Stephan
Journal of Logic and Computation - 2007 -
Immunity properties and the n-C.E.
hierarchy
Bahareh Afshari, George Barmpalias, S. Barry Cooper
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - 2006