monadic second-order logics

form-of plural

plural of monadic second-order logic

Japanese Meaning

モナディック・セカンド・オーダー・ロジックの複数形

Researchers compared several monadic second-order logics to determine which fragments permit decidable satisfiability.

研究者たちは、どの断片が決定可能な充足可能性を許すかを判断するために、いくつかの単項二階論理の変種を比較した。

Sense（1）

plural of monadic second-order logic