A multi-labelled sequent calculus for Topo-Logic
Journal of Logic and Computation (2020)

Bi-Intuitionistic Types via Alternating Contexts
TYPES (2020)

Bi-Intuitionistic Logics: A New Instance of an Old Problem
Advances in Modal Logic (2020)

Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq
TABLEAUX (2021)

Direct elimination of additive-cuts in GL4ip: verified and extracted
Advances in Modal Logic (2022)

First-Order Bi-Intuitionistic Logics: From Shaky to Formally Verified Foundations
Australasian Association for Logic Conference (2022)