Logics Without Existence Assumptions