A Classical Logic of Existence and Essence