Journal Publications

• On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators.
  Forthcoming in Synthese.
  Preprint (Color) | Preprint (B&W) | Published version
  
• The Problem of Cross-world Predication.
  2016. Journal of Philosophical Logic, Vol. 45, No. 6, pp. 697-742.
  Preprint (Color) | Preprint (B&W) | Published version
  

Conference Proceedings

• 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 (Color) | Preprint (B&W) | Published version
  Note: this version of the paper has been superseded by my 2016 Synthese article.