Modal operator
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions.
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions.
A modal connective (or modal operator) is a logical connective for modal logic. It is an operator which forms propositions from propositions.
Source: Wikipedia "Modal operator" · CC BY-SA 4.0
Share this article: X · Bluesky