IF modal logic and classical negation
scientific article; zbMATH DE number 6305274
scientific article