A many-valued modal logic