deontic logic Synonyms

modal logic relevance logic temporal logic type theory quantified logic computational logic dynamic logic higher-order logic non-monotonic logic paraconsistent logic many-valued logic predicate logic fuzzy logic propositional logic epistemic logic intuitionistic logic constructive logic first-order logic intensional logic linear logic substructural logic