Modalities in the Survey system of strict implication
scientific article; zbMATH DE number 3037214