Tableaux for Finite-Valued Logics with Arbitrary Distribution Modalities.

Christian G. Fermller, Herbert Langsteiner

Browse the full TABLEAUX paper archive.