Modal operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions. In general, a modal operator has the "formal" property of being non-truth-functional, and is "intuitively" characterized by expressing a modal attitude (such as necessity, possibility, belief, or knowledge) about the proposition to which the operator is applied.
Modality interpreted[edit]
There are several ways to interpret modal operators in modal logic, including: alethic, deontic, axiological, epistemic, and doxastic.
Alethic[edit]
Alethic modal operators (M-operators) determine the fundamental conditions of possible worlds, especially causality, time-space parameters, and the action capacity of persons. They indicate the possibility, impossibility and necessity of actions, states of affairs, events, people, and qualities in the possible worlds.
Deontic[edit]
Deontic modal operators (P-operators) influence the construction of possible worlds as proscriptive or prescriptive norms, i.e. they indicate what is prohibited, obligatory, or permitted.
Axiological[edit]
Axiological modal operators (G-operators) transform the world's entities into values and disvalues as seen by a social group, a culture, or a historical period. Axiological modalities are highly subjective categories: what is good for one person may be considered as bad by another one.
Epistemic[edit]
Epistemic modal operators (K-operators) reflect the level of knowledge, ignorance and belief in the possible world.
Doxastic[edit]
Doxastic modal operators express belief in statements.
