intuitionistic logic Synonyms

modal logic linear programming propositional logic deontic logic