Research

  • Hyperintensionality for logics. Erkenntnis (2025): 1-32. Preprint.
  • Class Theory in HYPE (with Carlo Nicolai). Notre Dame Journal of Formal Logic (2025). 1:1-22 Preprint.
  • A note on the strength of paraconsistent arithmetic. Logic Journal of the IGPL (forthcoming). Preprint.