Intuitionistic logic

Papers on topics related to intuitionistic logic.
Questions and dependency in intuitionistic logic
Notre Dame Journal of Formal Logic — with Rosalie Iemhoff and Fan Yang
Questions as Information Types
Inquisitive Logic
Journal of Philosophical Logic — with Floris Roelofsen
A canonical model for presheaf semantics
TACL 2011
Generalized inquisitive logic: completeness via intuitionistic Kripke models
TARK 2009 — with Floris Roelofsen
Inquisitive Semantics and Intermediate Logics
MSc thesis, University of Amsterdam