#modal logic

• Alethic — A specialized term used in logic and philosophy to describe modalities relating to truth, necessity, possibility, and contingency. In modal logic, an alethic property or proposition indicates the structural or logical truth of a state of affairs, independent of human knowledge (epistemic) or moral norms (deontic).