TY  - RPRT
TI  - Axiomatizing modal inclusion logic and its variants
AU  - Aleksi Anttila
AU  - Matilda Häggblom
AU  - Fan Yang
PY  - 2025
DO  - 10.1007/s00153-024-00957-y
UR  - https://arxiv.org/abs/2312.02285
ID  - 2312.02285
ER  -