logic of belief Synonyms

modal logic epistemic logic