• Pragmatic Considerations on Comparative Probability (forthcoming), in Philosophy of Science.

  • Subjective Probability as Sampling Propensity (forthcoming), in Review of Philosophy and Psychology.

  • A Resource-Rational Approach to the Causal Frame Problem (2015), with Noah Goodman, in Proceedings of the 37th Annual Meeting of the Cognitive Science Society.

  • A Note on Cancellation Axioms for Comparative Probability (forthcoming), with Matthew Harrison-Trainor and Wesley Holliday, in Theory and Decision.


  • Toward Boundedly Rational Analysis (2014), in Proceedings of the 36th Annual Meeting of the Cognitive Science Society.

  • Higher-Order Syllogistics (2014), in Formal Grammar, Springer LNCS.

  • Recent Progress on Monotonicity (2014), with Larry Moss, in Linguistic Issues in Language Technology.

  • The Algorithmic Mind: A Study of Inference in Action (2013), Ph.D. Thesis, Stanford University, published in ILLC Dissertation Series, 2014.
  • 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.)

  • A Complete Calculus of Monotone and Antitone Higher-Order Functions (2013), with Larry Moss, in Proceedings of Topology, Algebra, and Categories in Logic 2013.

  • Information Dynamics and Uniform Substitution (2013), with Wesley Holliday and Tomohiro Hoshi, in Synthese.


  • Inclusion and Exclusion in Natural Language (2012), in Studia Logica.

  • Provability and Interpretability Logics with Restricted Realizations (2012), with Joost Joosten, in Notre Dame Journal of Formal Logic.

  • A Uniform Logic of Information Dynamics (2012), with Wesley Holliday and Tomohiro Hoshi, in Advances in Modal Logic, Vol. 9.

  • A topological study of the closed fragment of GLP (2011), in Journal of Logic and Computation.
  • 2010 and before:

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

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

  • Models of the Polymodal Provability Logic (2008), M.Sc. Thesis, Universiteit van Amsterdam