higher-order logic Synonyms

modal logic propositional logic deontic logic