temporal_logic