時相論理
非古典論理
の一つ
/sno2wman/時相論理
/mrsekut-p/時相論理