first-order logic Synonyms

modal logic formal logic mathematical logic predicate calculus propositional calculus propositional logic deontic logic FOL