Return to Article Details Quantification in frame semantics with binders and nominals of hybrid logic Download Download PDF