Logic

2019
Questions and dependency in intuitionistic logic
Forthcoming in Notre Dame Journal of Formal Logic
An Ehrenfeucht-Fraïssé game for inquisitive first-order logic
Forthcoming — with Gianluca Grilletti

2018

Questions as Information Types
Synthese 
Dependence statements are strict conditionals
Proceedings of AiML18

2017
Bisimulation in inquisitive modal logic
Proceedings of TARK — with Martin Otto
The dynamic logic of stating and asking:
a study of inquisitive dynamic modalities

Proceedings of LoRI
Question meaning = resolution conditions
Logic and Logical Philosophy

2016
Questions in Logic
PhD dissertation, University of Amsterdam
Dependency as Question Entailment
Dependence Logic: theory and applications
Propositional inquisitive logic: a survey
Proceedings of Mathematical Foundations of Informatics

2015
Inquisitive dynamic epistemic logic
Synthese — with Floris Roelofsen
On the semantics and logic of declaratives and interrogatives
Synthese — with Jeroen Groenendijk and Floris Roelofsen 

2014
Modalities in the realm of questions:
axiomatizing inquisitive epistemic logic

Proceedings of AiML2014
Interrogative dependencies and the
constructive content of inquisitive proofs

Proceedings of WoLLIC2014

2011
Inquisitive Logic
Journal of Philosophical Logic — with Floris Roelofsen  
A canonical model for presheaf semantics
Proceedings of Topology, Algebra and Categories in Logic (TACL)

2009
Generalized inquisitive logic: completeness via intuitionistic Kripke models
Proceedings of TARK — with Floris Roelofsen  
A first-order inquisitive semantics
Proceedings of the Amsterdam Colloquium
Inquisitive Semantics and Intermediate Logics
MSc thesis, University of Amsterdam.