Intuitionistic logic

Questions and dependency in intuitionistic logic (preprint)
2019. Notre Dame Journal of Formal Logic — with R. Iemhoff and F. Yang
Intuitionistic conditional logics (preprint)
Journal of Philosophical Logic — with Xinghan Liu
Minimal-change counterfactuals in intuitionistic logic
2019. LORI — with Xinghan Liu
Questions as Information Types
2018. Synthese
Inquisitive Logic
2011. Journal of Philosophical Logic — with Floris Roelofsen
A canonical model for presheaf semantics
2011. TACL
Generalized inquisitive logic: completeness via intuitionistic Kripke models
2009. TARK — with Floris Roelofsen
Inquisitive Semantics and Intermediate Logics
2009. MSc thesis, UvA