Exam : 21.08.2018 : Q. 9 c : 2018.08.21.vrs.solutions.pdf (uni-kl.de)
I tried to solve it like this :
But I realize that interval((t0,1,t1,1), phi) doesn't belong to [phi SU psi] also it doesn't belong to any of the semantics given on slide 48 (Linear Temporal Logic and LO1).
So, if there is a semantic like below :
∃t1.t0 <= t1 ∧ interval((t0,1,t1,1), ! psi) ∧ Tp2Od(t1, phi)
Can I consider it as [phi SB psi] ?