Title: Logics without existence asumptions