Reasoning on relations, modalities, and sets
scientific article; zbMATH DE number 7908125