To check if I'm understanding this correctly, A and E are basically the universal and existential quantifiers over the set of all future states in the linear time theory, right? Whereas P is the existential quantifier over the possible future states in the branching time theory? I suppose A would also be the universal quantifier over possible future states in the branching theory, then.
To check if I'm understanding this correctly, A and E are basically the universal and existential quantifiers over the set of all future states in the linear time theory, right? Whereas P is the existential quantifier over the possible future states in the branching time theory? I suppose A would also be the universal quantifier over possible future states in the branching theory, then.