knowledge logic Synonyms

modal logic epistemic logic