Модальная Темпоральная Логика
method
ID: modaltemporallogic
Исходящие связи
| Связь | Целевая сущность | Тип | Действия |
|---|---|---|---|
| develops | Запросы о возможных будущих | task | Просмотр |
| develops | Запросы о альтернативных историях | task | Просмотр |
| develops | Предложения мониторинга | task | Просмотр |
| provides | Стратегии моделирования | method | Просмотр |
| provides | Аксиома завершения для истории | method | Просмотр |