什么是T模算子？

非经典逻辑的一个分支学科。它是研究和分析时间、时态、时相、时序等及其逻辑结构...有的时态逻辑系统中引进了3个时态算子：P代表过去时态算子；T（有的学者用R）代表现在时态算子；F代表将来时态算子。用小写字母p、q……表示原子命题。令p表示 ...