Logic and Language:
Higher-Order Syllogistics (2014), in Formal Grammar, Springer LNCS.
Recent Progress on Monotonicity (2013), with Larry Moss, 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, 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.
Toward Boundedly Rational Analysis (2014), in Proceedings of the 36th Annual Meeting of the Cognitive Science Society.
The Algorithmic Mind: A Study of Inference in Action (2013), Ph.D. Thesis, Stanford University, published in ILLC Dissertation Series, 2014.
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
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.