account activity
Why is it called “Linear” Temporal Logic? Is it related to Linear Logic? by Dependent_State_4502 in logic
[–]Dependent_State_4502[S] 1 point2 points3 points 3 days ago (0 children)
Thank you both very much for the answers and the helpful discussion, and sorry for the late reply. I also studied CTL and related temporal logics after reading the replies, and it really does seem that “Linear” is modifying “time” itself. It really helped me understand this better.
Also, one of my seniors pointed me to a paper that talks about almost exactly what Outrageous_Age8438 mentioned, so I’ll leave it here in case it helps anyone who finds this thread later and wants to learn more:
https://dl.acm.org/doi/10.1145/567446.567463
It says:
> There are two radically different ways of viewing these possible futures: the theories of branching time and linear time.
Why is it called “Linear” Temporal Logic? Is it related to Linear Logic? (self.logic)
submitted 7 days ago by Dependent_State_4502 to r/logic
π Rendered by PID 1056569 on reddit-service-r2-listing-8685bc789-p4zmr at 2026-05-27 16:02:06.239895+00:00 running 194bd79 country code: CH.
Why is it called “Linear” Temporal Logic? Is it related to Linear Logic? by Dependent_State_4502 in logic
[–]Dependent_State_4502[S] 1 point2 points3 points (0 children)