Tableaus for many-valued modal logic
scientific article; zbMATH DE number 795266
scientific article