Kürbis, N;
(2022)
A Binary Quantifier for Definite Descriptions for Cut Free Free Logics.
Studia Logica
, 110
pp. 219-239.
10.1007/s11225-021-09958-x.