時相論理
インターバル時相論理(英語版) (ITL)
μ計算(英語版) ヘネシー・ミルナー論理(英語版) (HML) CTL*(英語版) 計算木論理 (CTL) 線形時相論理 (LTL) Metric Interval Temporal Logic (MITL) Signal Temporal Logic (STL)
時相論理と密接に関連する論理として、トポロジーや場所や空間的位置を扱う様相論理がある。