模态算子（modal operator）亦称“模态词”。在真值模态逻辑中主要指“必然”（可用符号□表示）和“可能”（可用符号◇表示）。更广义地说，模态算子还可以包括允许、必须、禁止、相信、知道，等等。一切含有模态词的命题就构成模态命题。在模态逻辑里研究的是建立推理的结构和规律，构成这些推理的有含下述逻辑常项的命题，这些逻辑常项通常用“必然”、“可能”、“必须”、“曾经”等，以及“能够”、“允许”、“禁止”、“知道”、“相信”等，以及别的与它们有同样作用的手段来表示的，这些逻辑常项称作模态算子，此外，还有“希望”、“需要”等尚未深入研究的模态算子。“算子”指数学、逻辑和物理学中对某些变换（映射）或运算的称呼。模态算子是指模态逻辑中表示模态的算子。所谓模态（modality）有时又称模态词，指事物和认识的必然性和可能性这样一些性质，分为主观模态和客观模态，后者又叫逻辑模态。把模态命题形式化时对模态词“必然”、“可能”等抽象化，形成为符号，它可以作用在命题变项前面，所代表的符号就是模态算子。在模态系统中习惯上用“L”或“”表示“必然”，用“M”或“”表示“可能”。其中，即为模态算子。