Hajnal Andréka, Johan van Benthem, István Németi, On A New Semantics for First-Order Predicate Logic, Journal of Philosophical Logic, Vol. 46, No. 3 (June 2017), pp. 259-267 ...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including 'donkey ...