Reasoning on Relations, Modalities, and Sets