Recent and upcoming events
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.