A possibility-free logic of descriptions. Ermanno Bencivenga — 1984 Archiv für mathematische Logik und Grundlagenforschung