Я хочу знать, когда мы используем ctl или ltl для определения свойств
Есть ли пример, показывающий свойства Ctl, которые нельзя выразить в ltl и наоборот?