| Axiomatisierung des Schließens mit normativen Konditionalen | 01.12.2021 | 31.01.2024 | E192-05 |
| Beweistheoretische Analyse modaler Logiken | 01.05.2015 | 30.04.2017 | E192-05 |
| Ein logisches Bezugssystem für Dialogspiele | 01.05.2013 | 30.04.2017 | E192-05 |
| Formalisierung der Beweistheorien | 01.01.2016 | 31.05.2017 | E192-05 |
| Modellierung vager Quantoren mit mathematischer Fuzzy-Logik | 02.01.2015 | 01.07.2018 | E192-05 |
| Nichtklassische Beweise: Theorie, Automatisierung, Anwendungen | 01.12.2011 | 30.11.2019 | E192-05 |
| Norm-based reasoning: from legal and moral traditions to AI systems | 01.04.2019 | 31.03.2020 | E192-05 |
| Syntax meet Semantics: Methods, Interactions, and Connections in Substructural logics | 01.03.2016 | 28.02.2019 | E192-05 |
| TICAMORE: Transfer und Entwicklung von Kalkülen für Modallogiken und Verwandte Systeme | 01.02.2017 | 31.01.2022 | E192-05 |
| Über die Computationale Interpretation von Intermediären Logiken | 01.01.2019 | 28.02.2022 | E192-05 |
| Verschachtelte Sequenzen für Interpolation und Realisation | 01.02.2015 | 31.05.2017 | E192-05 |
| Von semantischen Spielen zu Kalkülen – und retour | 01.11.2019 | 31.12.2023 | E192-05 |
| Werkzeuge für logisches Schließen in der Deontischen Logik und Anwendungen auf heilige indische Schriften | 01.05.2017 | 31.10.2022 | E192-05 |
