時相論理とはなんですか？

A. 時相論理とは、時間という要素を考慮に入れて問題を理解し、表現するための規則と記述法の体系です。

参考URL:https://ja.wikipedia.org/wiki/%E6%99%82%E7%9B%B8%E8%AB%96%E7%90%86