1950年代末にアーサー・プライアー（英語版）が提唱した様相論理に基づいた時相論理を特に時制論理（TenseLogic）と呼ぶことがある。
它有时也被称为时态逻辑，这是ArthurPrior在1960年代介入的基于模态逻辑的特殊的时间逻辑系统。