Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World