Axiomatizing modal inclusion logic and its variants

Aleksi Anttila, Matilda Häggblom, Fan Yang

We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal for…