modality

way to class a proposition in logic, like necessarily true, possibly true, impossible ...

الفئات: