模态算子

（计算机科学技术）

模态算子（modal operator），计算机科学技术名词，作用于模态命题语句，表达“必然”“可能”“应当”“必须”“允许”“禁止”等意义的逻辑符号。