Модальды Уақытша Логика
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.
Орыс сипаттамасы
-
Қазақ сипаттамасы
-