computational logic Synonyms

modal logic propositional logic deontic logic epistemic logic