模態運算元

“運算元”指數學、邏輯和物理學中對某些變換（映射）或運算的稱呼。模態運算元是指模態邏輯中表示模態的運算元。所謂模態（ｍｏｄａｌｉｔｙ）有時又稱模態詞，指事物和認識的必然性和可能性這樣一些性質，分為主觀模態和客觀模態，後者又叫邏輯模態。把模態命題形式化時對模態詞“必然”、“可能”等抽象化，形成為符號，它可以作用在命題變項前面，所代表的符號就是模態運算元。在模態系統中習慣上用“Ｌ”或“I”表示“必然”，用“Ｍ”或“M”表示“可能”。其中ＬEI，ＭEM即為模態運算元。隨著模態邏輯的非標準化即廣義模態邏輯的發展，模態運算元的定義也擴大了，諸如時態運算元“過去Ｐ”、“將來Ｆ”、“將來總是Ｇ”、拓撲運算元Ｐ、道義運算元“應該”、“必須”、“允許”等。