logic of awareness Synonyms

modal logic epistemic logic