時相論理には，様々なタイプがある．時間を離散的と捉えるか・連続的と捉えるか．未来のみを扱うか・過去も扱うか．時間の分岐（可能な未来）をモデル化するか否か． ここでは，要求に関連しそうな基本的なところのみを扱う．また，ここ […]
-
Pages
-
Categories
-
Archives
時相論理には，様々なタイプがある．時間を離散的と捉えるか・連続的と捉えるか．未来のみを扱うか・過去も扱うか．時間の分岐（可能な未来）をモデル化するか否か． ここでは，要求に関連しそうな基本的なところのみを扱う．また，ここ […]