Hrafn Oddsson, M.Sc. (Ruhr University Bochum).
Dr Sara Ayhan,(Ruhr University Bochum), Consequence Relations and Identity of Proofs in Proof-theoretic Semantics, completed July 2023.
Dr Christopher Badura, (Ruhr University Bochum), Logic(s) of Imagination, completed July 2021.
Dr Daniel Skurt, (Ruhr University Bochum), New Perspectives on Some Non-Classical Systems, completed July 2017.
Dr Andrea Robitzsch, née Kruse, (Ruhr University Bochum), An Externalist Approach to Epistemic Responsibility -- Epistemic Duties and their Place in Social Epistemology, completed July 2016.
Dr Caroline Willkommen, née Semmling, (Ruhr University Bochum), Eine Logik für Handlungen und Überzeugungen, completed October 2012.
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.
2025
Dr Robin Martinot, (Utrecht University), Formalizing Ideals of Proof. Purity, Explanation and Semantic Pollution.
2024
Dr Anthony Cantor (University of Iowa), A Semantics and a Sequent Calculus for Dual Counterpart Intuitionistic Logic.
2023
Dr Fabio de Martin Polo (Ruhr University Bochum), Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications
2021
Dr Sanderson Molick (Ruhr University Bochum and Universidade Federal do Rio Grande do Norte), Topics in Logical Anti-exceptionalism and
Paraconsistent Logics
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.
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.
2009
Dr Holm Bräuer (TU Dresden), Doxastische Kontexte. Ein Essay zur logischen Form von Einstellungsprädikaten.
2008
Dr Helge Rückert (Leiden University), Dialogues as a Dynamic Framework for Logic.
Dr Francesca Poggiolesi (University of Florence), Sequent Calculi for Modal Logic.
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.