Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.
-James
Modal, Temporal, and Spatial Logics
Another late night proofing that I missed. On the CTL problem, #5 is not valid, for similar reasons to the other one. Namely AFt will not be satisfied for the path taken by the looping s0 path. Sorry for the confusion.
-James