### 2015:

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*.
### 2014:

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

### 2011/2012:

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