[x] Close ad

LINEAR TEMPORAL LOGIC

Linear_temporal_logic: Definition of the term Linear_temporal_logic.