Guido Fiorino. Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World. In Toby Walsh, editor, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011. pages 869-874, IJCAI/AAAI, 2011. [doi]
Abstract is missing.