Logical constants in quantifier languages · Study