TY - RPRT TI - Parameterized complexity of n-dense modal logics AU - Olivier Gasquet PY - 2026 UR - https://arxiv.org/abs/2604.16488 ID - 2604.16488 ER -