English Dictionary

Graduate students studying the history of logic often compare various monadic predicate logics to understand their expressive power.

論理学の歴史を学ぶ大学院生は、表現力を理解するために、さまざまな単項述語論理を比較することが多い。