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.

Read more about Modal OperatorModality Interpreted

Other articles related to "modal operator, modal operators, modal, operators":

Modal Operator - Modality Interpreted - Doxastic
... Doxastic modal operators express belief in statements ... thesis Computable function Primitive recursive function Non-classical logic Modal logic Alethic Axiologic Deontic Doxastic Epistemic Temporal Intuitionism Intuitionistic logic ...
Multimodal Logic
... A multimodal logic is a modal logic that has more than one primitive modal operator ... A modal logic with n primitive unary modal operators is called an n-modal logic ... Given these operators and negation, one can always add modal operators defined as if and only if ...