Modal Temporal Logic

Entity ID

modaltemporallogic

Entity Type

Method

English Label

Modal Temporal Logic

Russian Label

Модальная Темпоральная Логика

Kazakh Label

Модальды Уақытша Логика

Frequency

1

English Description

A formal system used to represent and reason about propositions qualified by modalities such as necessity and possibility over time.

Russian Description

-

Kazakh Description

-