此外，自然语言中某些结构，例如「统指量词(Collective Quantifier)和某些副词，需要用「二阶逻辑 才能表达其语义，所以上述部分逻辑系统的理论在形式语义学上有其应用价值。
基于12个网页-相关网页
统指量词
General quantifiers
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动