Supervised

  • Sara Ayhan, M.A. (Ruhr University Bochum), Proof-theoretic Semantics
  • Christopher Badura, M.Sc. (Ruhr University Bochum), Epistemic Logic and Neighborhood Semantics
  • Dipl.-Ing. Daniel Skurt, M.A. (Ruhr University Bochum), New Perspectives on Some Non-Classical Systems, completed July 2017
  • Andrea Robitzsch, née Kruse, M.A. (Ruhr University Bochum), An Externalist Approach to Epistemic Responsibility -- Epistemic
    Duties and their Place in Social Epistemology,
    completed July 2016.

Andrea_Disp.jpg

Sanford Goldberg (external reviewer), Andrea Robitzsch, H.W.

  • Dr Caroline Willkommen, née Semmling, Dipl. Math. (Ruhr University Bochum), Eine Logik für Handlungen und Überzeugungen, completed October 2012.

Verteidigung Willkommen

 H. W., Caroline Willkommen, Uwe Scheffler (external reviewer).

  • Dr Andreas Pietz, (University of Barcelona), Logics and Falsifications, completed July 2011.
  • Dr Sebastian Bauer (TU Dresden), Algorithmische Eigenschaften von Branching-Time Logiken, completed 2006

Committee member / reviewer

2016

Dr Joan Casaa Roma (Universitat Oberta de Catalunya, Barcelona), Deeper Down the Rabbit-Hole: Unfolding the Dynamics of Imagination Acts

2016

  • Dr Matteo Pascucci (University of Verona), Modal Logics with Propositional Constants
  • Dr Thomas Macaulay Ferguson (City University of New York), The Proscriptive Principle and Logics of Analytic Implication

2014

Dr Ji Ban (University of Western Australia, Perth), A More Efficient Tableau for Reasoning over General Linear Time

2011

Dr Michael De (University of St Andrews), Negation in Context

 Vivamichaelde-small

Patrick Greenough, Michael De, Roy Dyckhoff, Stephen Read, H.W.

2010

  • Dr John McCabe-Dansted (University of Western Australia, Perth), A Temporal Logic of Robustness
  • Dr Luca Tranchini (University of Siena), Proof and Truth. An Anti-realist Perspective

H.W., Peter Schroeder-Heister, Gabriele Usberti, Luca Tranchini, Enrico Moriconi

2009

Dr Holm Bräuer (TU Dresden), Doxastische Kontexte. Ein Essay zur logischen Form von Einstellungsprädikaten

2008

  • Dr Helge Rückert (Universiteit Leiden), Dialogues as a Dynamic Framework for Logic
  • Dr Francesca Poggiolesi (University of Florence), Sequent Calculi for Modal Logic

H.W., Pierluigi Minari, Francesca Poggiolesi, Gabriel Sandu, Francesco Paoli

2006

Dr Dolf Rami (TU Dresden), Die Grenzen des Wahrheitsdeflationismus