 The broad focus of the epistemology of modality is the so-called “alethic” or “objective” modalities. These are usually identified with those modalities that respect the T axiom of modal logic, \(\Box p \rightarrow p\) (if a proposition is necessary, then it is true, where the box stands for necessity). Non-alethic modalities, such as deontic modality (which has to do with obligations and permissions, namely what is obligatory for one to do and what one is permitted to do, according to, e.g., the moral norms, or the law), do not obey the T axiom, since, e.g., even if one is obligated to do \(p\), they might not do \(p\). Although epistemic modalities do respect the T axiom (if one knows that \(p\), then \(p\) is true) they are usually ruled out “by hand”, so to speak, qua non-alethic and non-objective, since they are thought to be dependent on the epistemic subject.