模态词

表达事物或其属性的必然性、可能性及其他模态属性的词项。一般包括必然、可能、必须、允许、禁止、知道、认可、相信、过去、现在、将来等。是模态逻辑研究的对象。包含必然（用“□”或“L”表示）、可能（“◇”或“M”）模态词的称真值模态。包含必须（“O”）、允许（“P”）、禁止（“F”）模态词的称规范模态。包含知道（“：”）、认可（“”）、相信（“B”）等模态词的称认知模态。包含过去（“P”）、现在（“T”）、将来（“F”）等时空模态词的称物理模态。只研究真值模态的逻辑系统称作狭义模态逻辑，还研究后面三种模态的逻辑系统称作广义模态逻辑。