TY - RPRT TI - Reduction of Many-valued into Two-valued Modal Logics AU - Zoran Majkic PY - 2011 UR - https://arxiv.org/abs/1103.0920 ID - 1103.0920 ER -