SU, SB, WB and WU operators in LTL/CTL - Translation Logic

Question

I have 2 doubts  as I see  in some of the final solutions that don't contain S/W before/Until operators as they have been transformed to F or something else.

1) Can LTL contain Strong/Weak Before/Until operators?

2) Can CTL contain Strong/Weak Before/Until operators?

Answer 1

Both questions: Definitely YES (just see slides 33 and 34 for the CTL operations.

Comments

Thank you for clarifying.