second-order logics

form-of plural

plural of second-order logic

Japanese Meaning

複数の第二階述語論理、すなわち複数の第二階の論理体系

Researchers compared the expressive power of various second-order logics to determine which could capture different mathematical properties.

研究者たちは、異なる数学的性質を表現できるものを特定するために、さまざまな二階述語論理の表現力を比較した。

Sense（1）

plural of second-order logic