发送短信: Intuitionism and the modal logic of vagueness