“…(3) The validity and satisfiability problem for this logic is decidable, whether we are interested in systems with finite variability, or in all systems evolving in time (a system has finite variability if it changes only at finitely many points, in any finite interval of time). For the special case of systems with finite variability these results (but not the proof methods) are in [15,3,2,14,5,18,1,7,8], regarding different logics (future, or full), and different semantics (point sequence and interval sequence).…”