時制論理(tense logic) logic 様相論理 から更に細分化 [P]A 過去においていつもA [F]A 未来においていつもA ⟨P⟩A=¬[P]¬A 過去においていつもAでない 時制論理体系 Kt