Some recent papers:

• Exclusion and Containment in Natural Language, accepted to Studia Logica.


• Provability and Interpretability Logics with Restricted Realizations, with Joost Joosten, accepted to Notre Dame Journal of Formal Logic.
  
  
• A topological study of the closed fragment of GLP, in Journal of Logic and Computation.


• On topological models of GLP, with Lev Beklemishev and Guram Bezhanishvili, in Ways of Proof Theory (ed. R. Schindler), Ontos Series in Mathematical Logic.


• Moorean Phenomena in Epistemic Logic, with Wes Holliday, in Advances in Modal Logic, Vol.8, 2010.

Stanford homepage