Quantifier

Documentation status: reference — see Maturity and evidence.

Quantifiers control the logical range of variables and participants in H-Logic. They are logical semantics, not ordinary participant data and not a replacement for application loops.

Typical forms distinguish existential and universal intent, for example:

exists y:#B on .:#R(x, y);
any x:#A, exists y:#B on .:#R(x, y);

A quantifier changes what must or may be bound for the statement to hold. A collection count, iteration construct, or host-language foreach does not express the same semantics.

Keep quantifier syntax tied to grammar forms that are accepted by the current H-Logic parser and validated by reasoning tests. If a new quantifier form is not covered by the current grammar/test surface, document it as planned rather than inferring support from first-order logic notation alone.