The modal operators used in linear temporal logic and computation tree logic are defined as follows.
Модальные операторы, используемые в логике линейного времени и логике деревьев вычислений, определяются следующим образом.