Axiomatization of Approximate Exclusion. - Matilda Häggblom (KR, 2024)

Inclusion with Repetitions and Boolean Constants - Implication Problems Revisited. - Matilda Häggblom (JELIA (2), 2025)

Propositional inclusion atoms. - Matilda Häggblom (CoRR, 2025)

Axiomatizing approximate inclusion. - Matilda Häggblom (CoRR, 2025)

Axiomatizing modal inclusion logic and its variants. - Aleksi Anttila; Matilda Häggblom; Fan Yang 004 (Arch. Math. Log., 2025)