## From Propositional SAT to CTL Properties on Transition Systems

One of the most fundamental questions we can ask in logic is that of satisfiability: given a logical formula, is there an assignment of the formula's variables under which the formula evaluates to true? It's one of the first problems any student of formal logic will encounter after being introduced…