Nevenwerkzaamheden
- Editor | Stanford Encyclopedia of Philosophy | Onbezoldigd
- Lid | Board | Arend Heyting Foundation | Onbezoldigd
- Lid | Core Initiation Committee of the Proof Society | Onbezoldigd
- Editor | Journal of Philosophical Logic | Bezoldigd (Persoonlijk)
- Editor | ASL book series Perspectives in Logic | Onbezoldigd
- Lid | Board | Vereniging voor Logica | Onbezoldigd