predicate logic
Noun
Meaning
(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.
Source: en.wiktionary.orgSynonyms
logic
Boolean algebra
formal logic
modal logic
predicate calculus
propositional logic
epistemic logic
deontic logic