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 Operator: Modality 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

... 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 ...Main Site Subjects

Related Phrases

Related Words