Completeness results for many-valued modal systems and relational semantics - Georges Hansoul; Bruno Teheux (2006)