Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
scientific article; zbMATH DE number 6757161
scientific article