On Logic and Language:
Recent Progress on Monotonicity (2013), with Larry Moss, forthcoming in Linguistic Issues in Language Technology.
A Complete Calculus of Monotone and Antitone Higher-Order Functions (2013), with Larry Moss, in Proceedings of Topology, Algebra, and Categories in Logic 2013.
Measure Semantics and Qualitative Semantics for Epistemic Modals (2013), with Wesley Holliday, forthcoming in Proceedings of Semantics and Linguistic Theory 23.
Iterating Semantic Automata (2013), with Shane Steinert-Threlkeld, in Linguistics and Philosophy. (For a companion experimental paper, see here.)
Inclusion and Exclusion in Natural Language (2012), in Studia Logica.
On Provability Logic:
Provability and Interpretability Logics with Restricted Realizations (2012), with Joost Joosten, in Notre Dame Journal of Formal Logic.
A topological study of the closed fragment of GLP (2011), in Journal of Logic and Computation.
On topological models of GLP (2010), with Lev Beklemishev and Guram Bezhanishvili, in Ways of Proof Theory (ed. R. Schindler), Ontos Series in Mathematical Logic.
Models of the Polymodal Provability Logic (2008), M.Sc. Thesis, Universiteit van Amsterdam
On Epistemic and Dynamic Logic
Information Dynamics and Uniform Substitution (2013), with Wesley Holliday and Tomohiro Hoshi, in Synthese.
A Uniform Logic of Information Dynamics (2012), with Wesley Holliday and Tomohiro Hoshi, in Advances in Modal Logic, Vol. 9.
Moorean Phenomena in Epistemic Logic (2010), with Wesley Holliday, in Advances in Modal Logic, Vol. 8.
Joint Revision of Belief and Intention (2010), with Eric Pacuit and Yoav Shoham, in Proceedings of Knowledge Representation and Reasoning, 2010.