- Note on D-completeness and prelinearity2013 | Faculty of Arts
- The Logic of Resources and Capabilities2018 | Faculty of Arts
- Theories of Truth in Legal Fact-Finding2021 | Faculty of Law
- Logical Expressivist's Logical Constants2016 | Faculty of Arts
- Logic ColloquiumPublication without faculty affiliation
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Faculty of Arts