Supervised

  • Sara Ayhan, M.A. (Ruhr University Bochum), Consequence relations and identity of proofs in proof-theoretic semantics.
  • Christopher Badura, M.Sc. (Ruhr University Bochum), Epistemic Logic and Neighborhood Semantics.
  • Gernot Gellwitz, M.A. (Ruhr University Bochum), Generic Logic.
  • Dr Daniel Skurt, M.A., Dipl.-Ing. (Ruhr University Bochum), New Perspectives on Some Non-Classical Systems, completed July 2017.
  • Dr 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

2018

Dr Joan Casas 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.

2004

Dr Fabian Neuhaus (Humboldt University, Berlin), Naive Prädikatenlogik: eine logische Theorie der Prädikation.