Concurrent Metate M - Temporal Connectives - Present and Future Time Connectives - Next

Next

◯ρ is satisfied now if ρ is true in the next moment in time.

Read more about this topic:  Concurrent Metate M, Temporal Connectives, Present and Future Time Connectives