A Set-Theoretic Approach to Automated Deduction in Graded Modal Logics.

Angelo Montanari, Alberto Policriti

Browse the full IJCAI paper archive.