時制論理(tense logic)

logic

様相論理 から更に細分化

  • 過去においていつもA
  • 未来においていつもA
  • 過去においていつもAでない

時制論理体系 Kt