Basic Papers Research Lines People Education and Dissemination Dissertations and master's theses Events
Dynamic Epistemic Logic » Dissertations and master's theses
  • Dissertations
  • Master's theses

  • Julia Ilin. Filtration Revisited: Lattices of Stable Non-Classical Logics. ILLC, Universiteit van Amsterdam.
  • Malvin Gattinger. New Directions in Model Checking Dynamic Epistemic Logic. ILLC, Universiteit van Amsterdam.
  • Chenwei Shi. Reason to Believe. ILLC, Universiteit van Amsterdam.
  • Aybüke Özgün. Evidence in Epistemic Logic: A Topological Perspective. ILLC, Universiteit van Amsterdam.
  • Giovanni Cinà. Categories for the working modal logician. ILLC, Universiteit van Amsterdam.
  • Paolo Galeazzi. Play Without Regret. ILLC, Universiteit van Amsterdam.
  • Zoé Christoff. Dynamic Logics of Networks: Information Flow and the Spread of Opinion. ILLC, Universiteit van Amsterdam.
  • Ben Rodenhäuser. A Matter of Trust: Dynamic Attitudes in Epistemic Logic. ILLC, Universiteit van Amsterdam.
  • Thomas Icard. The Algorithmic Mind: A Study of Inference in Action. Department of Philosophy, Stanford University.
  • Virginie Fiutek. Playing with Knowledge and Belief. ILLC, Universiteit van Amsterdam.
  • Floor Sietsma. Logics of Communication and Knowledge. ILLC, Universiteit van Amsterdam.
  • Wesley Holliday. Knowing What Follows: Epistemic Closure and Epistemic Logic. Department of Philosophy, Stanford University.
  • Pietro Galliani. The Dynamics of Imperfect Information. ILLC, Universiteit van Amsterdam.
  • Lena Kurzen. Complexity in Interaction. ILLC, Universiteit van Amsterdam.
  • Ştefan Minică. Dynamic-Epistemic Logic of Questions and Inquiry. ILLC, Universiteit van Amsterdam.
  • Fernando R. Velázquez-Quesada. Small steps in dynamics of information. ILLC, Universiteit van Amsterdam.
  • Nina Gierasimczuk. Knowing One's Limits. Logical Analysis of Inductive Inference. ILLC, Universiteit van Amsterdam.
  • Amélie Gheerbrant. Fixed-Point Logics on Trees. ILLC, Universiteit van Amsterdam.
  • Gaëlle Fontaine. Modal Fixpoint Logic: some model theoretic questions. ILLC, Universiteit van Amsterdam.
  • Yanjing Wang. Epistemic Modelling and Protocol Dynamics. CWI, Universiteit van Amsterdam.
  • Jonathan Zvesper. Playing with Information. ILLC, Universiteit van Amsterdam.
  • Cédric Dégremont. The Temporal Mind. Observations on the logic of belief change in interactive systems. ILLC, Universiteit van Amsterdam.
  • Tomohiro Hoshi. Epistemic Dynamics and Protocol Information. Department of Philosophy, Stanford University.
  • Patrick Girard. Modal Logic for Belief and Preference Change. Department of Philosophy, Stanford University.
  • Olivier Roy. Thinking Before Acting: Intentions, Logic and Rational Choice. ILLC, Universiteit van Amsterdam.
  • Fenrong Liu. Changing for the Better: Preference Dynamics and Agent Diversity. ILLC, Universiteit van Amsterdam.
  • Bryan Renne. Dynamic Epistemic Logic with Justification. The City University of New York.
  • Joshua Sack. Adding Temporal Logic to Dynamic Epistemic Logic. Indiana University at Bloomington.
  • Merlijn Sevenster. Branches of imperfect information: logic, games, and computation. ILLC, Universiteit van Amsterdam.
  • Sieuwert van Otterloo. A Strategic Analysis of Multi-agent Protocols. University of Liverpool.
  • Barteld Kooi. Knowledge, chance, and change. Rijksuniversiteit Groningen.
  • Hans van Ditmarsch. Knowledge Games. Rijksuniversiteit Groningen.
  • Jelle Gerbrandy. Bisimulations on Planet Kripke. ILLC, Universiteit van Amsterdam.

  • Bonan Zhao. Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game. ILLC, Universiteit van Amsterdam.
  • Anthia Solaki. Steps out of Logical Omniscience. ILLC, Universiteit van Amsterdam.
  • Kristina Gogoladze. Evidence-Based Belief Revision for Non-Omniscient Agents. ILLC, Universiteit van Amsterdam.
  • Andrés Occhipinti Liberman. Dynamic Evidence Logics with Relational Evidence. ILLC, Universiteit van Amsterdam.
  • Ana Lucia Vargas Sandoval. Learning Deductive Reasoning. ILLC, Universiteit van Amsterdam.
  • Suzanne van Wijk. Coalitions in Epistemic Planning. ILLC, Universiteit van Amsterdam.
  • Konstantinos Gkikas. Stable Beliefs and Conditional Probability Spaces. ILLC, Universiteit van Amsterdam.
  • Hanna Sofie van Lee. The Reliability of Scientific Communities: a Logical Analysis. ILLC, Universiteit van Amsterdam.
  • Pietro Pasotti. Chisholm's Paradox in Action Deontic Logics. ILLC, Universiteit van Amsterdam.
  • Iris van de Pol. How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity. ILLC, Universiteit van Amsterdam.
  • Roosmarijn Goldbach. Modelling Democratic Deliberation. ILLC, Universiteit van Amsterdam.
  • Sanne Kosterman. Learning in Games through Social Networks. ILLC, Universiteit van Amsterdam.
  • Lara Elise van Weegen. Informational cascades under variable reliability assessments: A formal and empirical investigation. ILLC, Universiteit van Amsterdam.
  • Malvin Gattinger. Dynamic Epistemic Logic for Guessing Games and Cryptographic Protocols. ILLC, Universiteit van Amsterdam.
  • Andreea Achimescu. Games and Logics for Informational Cascades. ILLC, Universiteit van Amsterdam.
  • Rachel Boddy. Epistemic Issues and Group Knowledge. ILLC, Universiteit van Amsterdam.
  • Robert Carrington. Learning and Knowledge in Social Networks. ILLC, Universiteit van Amsterdam.
  • Aybüke Özgün. Topological Models for Belief and Belief Revision. ILLC, Universiteit van Amsterdam.
  • Giovanni Cinà. On the connection between the categorical and the modal logic approaches to Quantum Mechanics. ILLC, Universiteit van Amsterdam.
  • Stefanie Kooistra. Logic in Classical and Evolutionary Games. ILLC, Universiteit van Amsterdam.
  • Alexandru Marcoci. The Surprise Examination Paradox in Dynamic Epistemic Logic. ILLC, Universiteit van Amsterdam.
  • Lena Kurzen. Logics for Cooperation, Actions and Preferences. ILLC, Universiteit van Amsterdam.
  • Jonathan Zvesper. A Revised Version: Belief Revision and Epistemic Acts. ILLC, Universiteit van Amsterdam.
  • Ji Ruan. Exploring the Update Universe. ILLC, Universiteit van Amsterdam.
  • Fenrong Liu. Dynamic Variations: Update and Revision for Diverse Agents. ILLC, Universiteit van Amsterdam.
  • Guillaume Aucher. A Combined System for Update Logic and Belief Revision. ILLC, Universiteit van Amsterdam.
  • Ben Rodenhäuser. Updating Epistemic Uncertainty: an essay in the logic of information change. ILLC, Universiteit van Amsterdam.