Metadata
Author: WikiMatrix
Data
English[en]
The modal operators used in linear temporal logic and computation tree logic are defined as follows.
Spanish[es]
Los operadores modales usan el Linear Temporal Logic y Computation Tree Logic son definidos como sigue.