1. The \(\Sigma_1\)-Provability Logic of HA*. May 2018 (joint with M. Ardeshir)pdf icon small (first version pdf icon small)
  2. Localizing Finite-Depth Kripke Models, submitted 2017. pdf icon small Slides (For IAL's Fifth annual colloquium): pdf icon small
  3. The \(\Sigma_1\)-Provability Logic of HA, submitted 2016. To appear in APAL.(joint with M. Ardeshir) Preprint : pdf icon small (previous version: pdf icon small )
  4. Reduction of provability logics to \(\Sigma_1\)-provability logics, Logic Journal of the IGPL, Volume 23, Issue 5, pages 842-847, February 2015. (joint with M. Ardeshir) Preprint: pdf icon small
  5. Completeness of intermediate logics with doubly negated axioms, Mathematical Logic Quarterly, Volume 60, Issue 1-2, pages 6–11, February 2014. (joint with M. Ardeshir) Preprint: pdf icon small
  6. The de Jongh property for Basic Arithmetic, Archive for Mathematical Logic, Volume 53, Issue 7-8, pages 881-895, February 2014. (joint with M. Ardeshir) Preprint: pdf icon small