TY - RPRT TI - Undecidability and non-axiomatizability of modal many-valued logics AU - Amanda Vidal PY - 2022 UR - https://arxiv.org/abs/2101.08767 ID - 2101.08767 ER -