Galvan, S.; Giordani, A. A Classical Logic of Existence and Essence. LLP 2020, 29, 541-570.