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

Guido Fiorino

Browse the full IJCAI paper archive.