quantified logic Synonyms

modal logic formal logic propositional logic deontic logic epistemic logic