2018
Questions as Information Types

Synthese
Dependence statements are strict conditionals

Proceedings of AiML18
Questions and dependency in intuitionistic logic

Submitted for publication — with Rosalie Iemhoff and Fan Yang
En Ehrenfeucht-Fraïssé game for inquisitive first-order logic

Submitted for publication — with Gianluca Grilletti

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.