S. Galvan and A. Giordani, “A Classical Logic of Existence and Essence”, LLP, vol. 29, no. 4, pp. 541–570, Jun. 2020.