模态算子是指模态逻辑中表示模态的算子。

详细信息

“算子”指数学、逻辑和物理学中对某些变换（映射）或运算的称呼。所谓模态（ｍｏｄａｌｉｔｙ）有时又称模态词，指事物和认识的必然性和可能性这样一些性质，分为主观模态和客观模态，后者又叫逻辑模态。把模态命题形式化时对模态词“必然”、“可能”等抽象化，形成为符号，它可以作用在命题变项前面，所代表的符号就是模态算子。在模态系统中习惯上用“Ｌ”或“I”表示“必然”，用“Ｍ”或“M”表示“可能”。其中ＬEI，ＭEM即为模态算子。随着模态逻辑的非标准化即广义模态逻辑的发展，模态算子的定义也扩大了，诸如时态算子“过去Ｐ”、“将来Ｆ”、“将来总是Ｇ”、拓扑算子Ｐ、道义算子“应该”、“必须”、“允许”等。