How Is It Different From Regular Logic?

temporal logic, or specifically the kind of logic that I'm using, is linear temporal logic. In regular logic you have operators like an AND and atomics but in temporal logic it's just this global state about whether something is true or false. You can basically say something like, well, x is one, and in the next date, x is two. So if I would try to formulate that a bit more structurally, it would be like x equals one and parentheses, next x equals two.