Dominik Wehr
About Dominik Wehr
I am a PhD student at the Logic Group at Gothenburg University supervised by Graham Leigh and Bahareh Afshari. My research lies in the area of cyclic proof theory with specific interest in the soundness conditions of cyclic derivation systems. More generally, I am interested in the exploration of reasonably strong foundational systems (i.e. at least an arithmetic) by means of proof theory and the methods of (constructive) reverse mathematics. I am also very fond of constructive type theory and non-economic game theory.
-
Material Dialogues for First-Order Logic in Constructive Type
Theory
Dominik Wehr, Dominik Kirst
Logic, Language, Information, and Computation, 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings / Editors: Agata Ciabattoni, Elaine Pimentel, Ruy J. G. B. de Queiroz - 2022 -
Exact Bounds for Acyclic Higher-Order Recursion
Schemes
Bahareh Afshari, Dominik Wehr
Information and Computation - 2022 -
Abstract Cyclic
Proofs
Bahareh Afshari, Dominik Wehr
Lecture Notes in Computer Science, 28th International Workshop on Logic, Language, Information and Computation, Iași, Romania, September 20–23, 2022, Proceedings - 2022 -
Completeness theorems for first-order logic analysed in constructive type theory: Extended
version
Yannick Forster, Dominik Kirst, Dominik Wehr
Journal of logic and computation - 2021 -
Completeness Theorems for First-Order Logic Analysed in Constructive Type
Theory
Yannick Forster, Dominik Kirst, Dominik Wehr
Lecture Notes in Computer Science - 2020