ML Anthology

Fiorino, Guido

1 publications

IJCAI 2011 Refutation in Dummett Logic Using a Sign to Express the Truth at the Next Possible World Guido Fiorino