- Knowledge interpretation in substructural frames2013 | Faculty of Arts
- Epistemic Logics for Skeptical Agents2016 | Faculty of Arts
- Relevant Agents2010 | Faculty of Arts
- Embedding l-bimonoids into involutive residuated lattices2016 | Faculty of Arts
- Cut elimination, identity elimination, and interpolation in super-Belnap logics2017 | Faculty of Arts