constructive logic Synonyms

modal logic linear programming propositional logic deontic logic epistemic logic