predicate logic Synonyms

logic modal logic Boolean algebra formal logic predicate calculus propositional logic deontic logic epistemic logic