On the Conditional Logic of Simulation Models, with Duligur Ibeling, Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI), 2018.
On the Instrumental Value of Counterfactual and Hypothetical Thought (2018), with Fiery Cushman and Joshua Knobe, Proc. of the 40th Annual Meeting of the Cognitive Science Society.
From Programs to Causal Models (2017),
Proceedings of the 21st Amsterdam Colloquium.
Bayes, Bounds, and Rational Analysis (forthcoming), in
Normality and Actual Causal Strength
(see here for a preprint).
Beyond Almost-Sure Termination (2017), in Proceedings of
the 39th Annual Meeting of the Cognitive Science Society.
the Meaning Sciences (2017),
Science of Meaning, (ed. Ball and Rabern).
A Monotonicity Calculus and Its Completeness (2017),
with Larry Moss and
William Tune, in Mathematics of Language.
Indicative Conditionals and Dynamic Epistemic Logic
(2017), with Wesley
Holliday, in Proceedings of TARK.
Structures for Comparative Probabilistic Reasoning
(2017), with Matthew Harrison-Trainor and Wesley Holliday, in 31st AAAI Conference on Artificial Intelligence.
Inferring Probability Comparisons (2017), with Matthew Harrison-Trainor and Wesley Holliday, in Mathematical Social Sciences (see also here).
Pragmatic Considerations on Comparative Probability (2016), in Philosophy of
Subjective Probability as Sampling Propensity (2016), in Review of Philosophy and Psychology (official version here).
Causality, Normality, and Sampling Propensity (2016), with Joshua Knobe, in Proceedings of the 38th Annual Meeting of the Cognitive Science Society. [Superseded by 'Normality and Actual Causal Strength' above.]
A Note on Cancellation Axioms for Comparative Probability (2016), with Matthew Harrison-Trainor and Wesley Holliday, in Theory and Decision.
Intention Reconsideration as Metareasoning (2015), with Marc van Zee, NIPS Workshop on Bounded Optimality and Rational Metareasoning.
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.
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