Publications

Journal Publications

• To be added

Conference Proceedings

• To be added

Theses

• 2024 - Proof Translations for Intuitionistic Modal Logic. Master Thesis, ILLC, University of Amsterdam
• 2022 - First-Order Modal Predicate Logic, Modal Realism and the Problem of Transworld Identity. Bachelor Thesis in Philosophy, Ruhr-University Bochum

Communications

• 2024 - Some Proof Translations for Intuitionistic Modal Logic. Presented at the 2024 British Logic Colloquium, 6th of September (Slides)