Dissertations

Here is a list of recent dissertations on Logical Dynamics topics. 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. Currently at the Department of Philosophy of the Faculty of Arts at the University of Auckland, New Zealand. Fenrong Liu: 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. 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 Department of Philosophy of the Universität Bayreuth, Germany. 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 Stanford University, USA. 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 Institut de Recherche en Informatique de Toulouse, France. 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. 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. 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. Currently at the Departamento de Ciencias de la Computacion of the University of Chile, Chile. 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. 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 Department of Applied Mathematics and Computer Science of Danish Technical University, Denmark. Fernando R. 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. 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. Stefan Minica: PhD (2011) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Dynamic Logic of Questions, supervised by Johan van Benthem, Jan van Eijck and Hans van Ditmarsch. Wesley Holliday: PhD (2012) from the Department of Philosophy, Stanford University. Dissertation: Knowing What Follows: Epistemic Closure and Epistemic Logic, supervised by Johan van Benthem and Krista Lawlor. Currently at the Department of Philosophy, University of California at Berkeley Thomas Icard: PhD (2013) from the Department of Philosophy, Stanford University. Dissertation: The Algorithmic Mind: Inference in Action, supervised by Johan van Benthem. Currently at the Department of Philosophy, Stanford University, US. Zoé Christoff: PhD (2016) from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. Dissertation: Dynamic Logic of Networks. Information Flow and Spread of Opinions, supervised by Johan van Benthem and Sonja Smets. Currently at the Department of Philosophy of the Universität Bayreuth, Germany.