(logic) The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic. / (logic) First-order logic.

plural of predicate logic

(logic) The fragment of predicate logic in which all predicate letters are monadic (that is, they take only one argument), and there are no function letters.

plural of monadic predicate logic