dynamic logic Synonyms

modal logic propositional logic deontic logic