时态算子

出处：按学科分类—语言、文字 江西教育出版社《中国语言学大辞典》第689页（191字）

表示时态词的符号。基本的时态算子有三个：⑴P，代表过去时算子，读作：情况曾是；⑵T，代表现在时算子，读作：情况现在是；⑶F，代表将来时算子，读作：情况将是。其他一些时态逻辑的时态词可由它们通过恰当的定义给出形式的刻画。如“情况曾经总是”，记为P，可缩写为H，代表过去恒常算子；“情况将来总是”，记为F，可缩写为G，代表将来恒常算子。