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

Open in new window