Kallmeyer, L.; Osswald, R.; Pogodalla, S. Quantification in Frame Semantics With Binders and Nominals of Hybrid Logic. JLM 2017, 5, 357–383.