Journal Publications

• 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
• On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators.
  2016. Synthese, 195(10), 4373-4417.
  Preprint | Published version
• The Problem of Cross-world Predication.
  2016. Journal of Philosophical Logic, 45(6): 697-742.
  Preprint | Published version

Conference Proceedings

• On the Concept of a Notational Variant.
  2017. In A. Baltag, J. Seligman, T. Yamada (eds), Logic, Rationality and Interaction: 6th International Workshop, Springer, pp. 284-298.
  Preprint | Published version
  
• On the Expressivity of First-Order Modal Logic with “Actually”.
  2015. In W. van der Hoek, W.H. Holliday, W. Wang (eds), Logic, Rationality and Interaction: 5th International Workshop, Springer, pp. 207–219.
  Preprint | Published version
  Note: this version of the paper has been superseded by my 2016 Synthese article.

Dissertation

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