摘要： 首先在考察Atanassov直觉模糊集的基本运算的基础上．引入两个典型的作用于直觉模糊集的时态逻辑算子“□(always)”和“◇(sometimes)”，重点研究了直觉模糊集在直觉模糊时态逻辑算子作用下的若干扩展运算及其性质。最后，将这些运算性质归结为一组定理，并给出详细的证明过程。

关键词: 直觉模糊集 算子 运算性质 证明过程 基本运算 定理 时态逻辑 归结 扩展