u/Dependent_State_4502

Hi!

I’ve recently been studying model checking and came across Linear Temporal Logic. While talking about it with friends, we started wondering what the “Linear” in the name is actually supposed to mean.

There is also something called "Linear" Logic in a closely related area, but LTL does not seem directly related to that kind of “linearity” at all. So now I’m wondering:

• Is the “Linear” in Linear Temporal Logic related in any way to Linear Logic?
• Or does it mean something completely different?

I tried looking into the history myself, but searching for “linear logic” and “linear temporal logic” together quickly became confusing.

Any clarification or references would be appreciated!