• Hyperlogic: A System for Talking about Logics
    2019. Julian J. Schlöder, Dean McHugh, and Floris Roelofsen (eds), Proceedings for the 22nd Amsterdam Colloquium, pp. 238–247.
    Published version
  • On the Substitution of Identicals in Counterfactual Reasoning
    Forthcoming in Noûs.
    Preprint | Published version
  • Counteridenticals
    2018. The Philosophical Review, 127(3): 323-369.
    Preprint | Published version
    Counteridenticals in the wild
  • On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators
    2018. Synthese, 195(10): 4373-4417.
    Preprint | Published version
  • On the Concept of a Notational Variant
    2017. Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada (eds), Logic, Rationality and Interaction: 6th International Workshop, Springer, pp. 284-298.
    Preprint | Published version
  • The Problem of Cross-world Predication
    2016. Journal of Philosophical Logic, 45(6): 697-742.
    Preprint | Published version
  • On the Expressivity of First-Order Modal Logic with “Actually”
    2015. Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds), Logic, Rationality and Interaction: 5th International Workshop, Springer, pp. 207–219.
    Preprint | Published version


  • What Can You Say? Measuring the Expressive Power of Languages
    2018. Group in Logic and the Methodology of Science. University of California, Berkeley.