belief logic Synonyms

modal logic epistemic logic