TY - RPRT TI - Completeness results for many-valued \Lukasiewicz modal systems and relational semantics AU - Georges Hansoul AU - Bruno Teheux PY - 2006 UR - https://arxiv.org/abs/math/0612542 ID - math/0612542 ER -