Модальная Темпоральная Логика
method
ID: modaltemporallogic
Детали сущности
Основная информация
ID сущности
modaltemporallogic
Тип сущности
Method
Английская метка
Modal Temporal Logic
Русская метка
Модальная Темпоральная Логика
Казахская метка
Модальды Уақытша Логика
Частота
1
Описание
Английское описание
A formal system used to represent and reason about propositions qualified by modalities such as necessity and possibility over time.
Русское описание
-
Казахское описание
-