情态算子

情态算子（modal operator），文学-语言文字-语义学-情态，模态逻辑中表示模态的算子，主要指“必然”（可用符号□或字母L表示）和“可能”（可用符号◇或字母M表示）。又称模态词、模态连接词。命题加上情态算子，形成模态命理或模态判断，如“◇P”（可能P）、“□P”（必然P）。