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
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