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