Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge.

Guido Fiorino

Browse the full LPAR paper archive.