TY - RPRT TI - FMP for QD logics. A wrong proof AU - Olivier Gasquet PY - 2026 UR - https://arxiv.org/abs/2507.11258 ID - 2507.11258 ER -