One of the goals of the LIRa seminar is to discuss the ongoing projects of PhD researchers. Such discussions have provided new insights, improved our work and created nice collaborations. In particular, they have been very useful for completing, so far, the following PhD dissertations:
- Chenwei Shi: PhD (2018) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Reason to Believe, supervised by Sonja Smets and Fenrong Liu.
- Malvin Gattinger: PhD (2018) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: New Directions in Model Checking Dynamic Epistemic Logic, supervised by Jan van Eijck, Alexandru Baltag and Kaile Su.
- Aybüke Özgün: PhD (2017) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam and LORIA, Université
de Lorraine. Dissertation: Evidence in Epistemic Logic — A Topological Perspective. - Shengyang Zhong: PhD (2015) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory, supervised by Johan van Benthem, Alexandru Baltag and Sonja Smets.
- Lena Kurzen: PhD (2011) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Complexity in Interaction, supervised by Johan van Benthem and Peter van Emde Boas. Currently at Critical Minds.
- Fernando Velázquez-Quesada: PhD (2011) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Small steps in dynamics of information, supervised by Johan van Benthem. Currently at the Institute for Logic, Language and Computation of the Universiteit van Amsterdam, The Netherlands.
- Nina Gierasimczuk: PhD (2010) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Knowing One’s Limits. Logical Analysis of Inductive Inference, supervised by Johan van Benthem and Dick de Jongh. Currently at the Institute of Artificial Intelligence (ALICE) of the University of Groningen, The Netherlands.
- Amélie Gheerbrant: PhD (2010) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Fixed-Point Logics on Trees, supervised by Johan van Benthem and Balder ten Cate. Currently at the The Laboratory for Foundations of Computer Science of the University of Edinburgh, UK.
- Gaëlle Fontaine: PhD (2010) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Modal Fixpoint Logic: some model theoretic questions, supervised by Johan van Benthem and Yde Venema. Later worked at the Computer Science Department of the University of California at Santa Cruz, USA. Now working again at the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.
- Jonathan Zvesper: PhD (2010) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Playing with Information, supervised by Johan van Benthem and Krzysztof Apt. Currently at the Computing Laboratory of Oxford University, UK.
- Cédric Dégremont: PhD (2010) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: The Temporal Mind. Observations on the logic of belief change in interactive systems, supervised by Johan van Benthem. Currently at the Institute of Artificial Intelligence (ALICE) of the University of Groningen, The Netherlands.
- Yanjing Wang: PhD (2010) from the Centrum Wiskunde & Informatica of the Universiteit van Amsterdam. Dissertation: Epistemic Modelling and Protocol Dynamics, supervised by Jan van Eijck. Currently at the Department of Philosophy of Peking University, China.
- Jakub Szymanik: PhD (2009) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Quantifiers in TIME and SPACE, supervised by Johan van Benthem, Marcin Mostowski and Theo Janssen. Currently at the Institute of Artificial Intelligence (ALICE) of the University of Groningen, The Netherlands.
- Tomohiro Hoshi: PhD (2009) from the Department of Philosophy of the Stanford University. Dissertation: Epistemic Dynamics and Protocol Information, supervised by Johan van Benthem. Currently at the Department of Philosophy of Stanford University, USA.
- Olivier Roy: PhD (2008) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Thinking Before Acting: Intentions, Logic and Rational Choice, supervised by Johan van Benthem and Martin van Hees. Currently at the Center for Mathematical Philosophy of the Ludwig-Maximilians-Universität München, Germany.
- Fenrong Liu (Chinese webpage): PhD (2008) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Changing for the Better: Preference Dynamics and Agent Diversity, supervised by Johan van Benthem and Dick de Jongh. Currently at the Department of Philosophy of the Tsinghua University, China.
- Patrick Girard: PhD (2008) from the Department of Philosophy of Stanford University. Dissertation: Modal Logic for Belief and Preference Change, supervised by Johan van Benthem, Marc Pauly and Krister Segerberg. Currently at the Department of Philosophy of the Faculty of Arts at the University of Auckland, New Zealand.