Reductive Theories of Modality