logic of certainty Synonyms

modal logic epistemic logic