Modality (natural language) in the context of "Tense–aspect–mood"

Modal logic is a kind of logic used to represent statements about necessity and possibility. In philosophy and related fieldsit is used as a tool for understanding concepts such as knowledge, obligation, and causation. For instance, in epistemic modal logic, the formula ${\displaystyle \Box P}$ can be used to represent the statement that ${\displaystyle P}$ is known. In deontic modal logic, that same formula can represent that ${\displaystyle P}$ is a moral obligation. Modal logic considers the inferences that modal statements give rise to. For instance, most epistemic modal logics treat the formula ${\displaystyle \Box P\rightarrow P}$ as a tautology, representing the principle that only true statements can count as knowledge. However, this formula is not a tautology in deontic modal logic, since what ought to be true can be false.

Modal logics are formal systems that include unary operators such as ${\displaystyle \Diamond }$ and ${\displaystyle \Box }$, representing possibility and necessity respectively. For instance the modal formula ${\displaystyle \Diamond P}$ can be read as "possibly ${\displaystyle P}$" while ${\displaystyle \Box P}$ can be read as "necessarily ${\displaystyle P}$". In the standard relational semantics for modal logic, formulas are assigned truth values relative to a possible world. A formula's truth value at one possible world can depend on the truth values of other formulas at other accessible possible worlds. In particular, ${\displaystyle \Diamond P}$ is true at a world if ${\displaystyle P}$ is true at some accessible possible world, while ${\displaystyle \Box P}$ is true at a world if ${\displaystyle P}$ is true at every accessible possible world. A variety of proof systems exist which are sound and complete with respect to the semantics one gets by restricting the accessibility relation. For instance, the deontic modal logic D is sound and complete if one requires the accessibility relation to be serial.

In linguistics, grammatical mood is a grammatical feature of verbs, used for signaling modality. In other words, it is the use of verbal inflections that allow speakers to express their attitude toward what they are saying (for example, a statement of fact, of desire, of command, etc.). The term is also used more broadly to describe the syntactic expression of modality – that is, the use of verb phrases that do not involve inflection of the verb itself.

Mood is distinct from grammatical tense or grammatical aspect, although the same word patterns are used for expressing more than one of these meanings at the same time in many languages, including English and most other modern Indo-European languages. (See tense–aspect–mood for a discussion of this.)

A modal verb is a type of verb that contextually indicates a modality such as a likelihood, ability, permission, request, capacity, suggestion, order, obligation, necessity, possibility or advice. Modal verbs generally accompany the base (infinitive) form of another verb having semantic content. In English, the modal verbs commonly used are can, could, may, might, must, shall, should, will, would, and ought.