Consider the term linear temporal logic (in the meaning of linear-time temporal logic). In linear temporal logic, what does linear refer to:
to temporal or
If I interpret http://en.wikipedia.org/wiki/Linear_logic and http://en.wikipedia.org/wiki/Linear_temporal_logic correctly, the linear temporal logic is not an instance of the linear logic and not related to it in any way (except that both are, well, logics), is it? So, linear must refer to temporal. Shouldn't we write then
(i.e., with a hyphen) then to avoid misinterpretation?