The formulae ϕ {\displaystyle \phi } and ψ {\displaystyle \psi } are said to be semantically equivalent if any state in any model which satisfies one also satisfies the other.
Οι τύποι της CTL ϕ {\displaystyle \phi } και ψ {\displaystyle \psi } λέγονται σημασιολογικά ισοδύναμοι αν κάθε κατάσταση σε κάθε μοντέλο που ικανοποιεί τον ένα, ικανοποιεί και τον άλλο.