Logics with an existential modality