Sentence examples for modal operator from inspiring English sources

The belief and information acquisition operators are respectively represented by KD45 and KD normal modalities, whereas trust is denoted by a modal operator with minimal semantics.

The modal operator versions do not.

Similarly, we take the modal operator □ to be primitive and define the modal operator ◊ as ¬□¬.

From here van Benthem may define constructive implication with the informationalised universal modal operator as □.

Alternatively, one can choose to formalise knowledge as a modal operator in a suitable modal logic.

This is the sense of necessity that corresponds to the standard modal operator '□'.

This means that it is not a normal modal operator, and cannot be given a Kripke (relational) semantics.

For example, Mark Richard [1982] argues that modal operators operate on sentence meanings (functions from contexts and times to propositions).

The most straightforward way of constructing a modal logic is to add to some standard nonmodal logical system a new primitive operator intended to represent one of the modalities, to define other modal operators in terms of it, and to add axioms or transformation rules involving those modal operators.

One may think of traditional modal operators as implicit modalities, and justification terms as their explicit elaborations which supplement modal logics with finer-grained epistemic machinery.

Further, modal operators were typically construed as operating on the intensions of the sentences they embed, and so those intensions could plausibly be thought of as possessing modal properties.