L. Kallmeyer, R. Osswald, and S. Pogodalla, “Quantification in frame semantics with binders and nominals of hybrid logic”, JLM, vol. 5, no. 2, pp. 357–383, Nov. 2017.