Journal Publications

  • Counteridenticals.
    Forthcoming in The Philosophical Review.
  • On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators.
    Forthcoming in Synthese.
    Preprint | Published version
  • The Problem of Cross-world Predication.
    2016. Journal of Philosophical Logic, Vol. 45, No. 6, pp. 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.


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