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.
  • Cognitive Science:

  • 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 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

    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.