Pragmatic Considerations on Comparative Probability
(forthcoming), in Philosophy of
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.
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