2017
Bisimulation in inquisitive modal logic

To be presented at TARK — with Martin Otto
The dynamic logic of stating and asking:

a study of inquisitive dynamic modalities

To be presented at LoRI
Questions and dependency in intuitionistic logic

Submitted for publication — with Rosalie Iemhoff and Fan Yang

2016
Questions in Logic

PhD dissertation, University of Amsterdam
Questions as Information Types

Synthese
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.