Talk:Linear temporal logic
From Wikipedia, the free encyclopedia
[edit] Figure
is the diagram for pUq correct? it seems that the bottom line shows qUp, and not pUq —The preceding unsigned comment was added by 128.30.84.40 (talk • contribs) 15:04, 17 November 2005 (UTC)
- Thanks! The figure was indeed wrong. Paolo Liberatore (Talk) 19:00, 17 November 2005 (UTC)
[edit] PLTL
Is there a difference between LTL an PLTL (Propositional Linear Temporal Logic)? -- Neatlittleeraser
[edit] Release
Is the Diagram for φRψ correct? It seems as if the symbols are switched -- 195.176.177.179 15:09, 12 December 2006 (UTC)Gio
- The diagrams are better-looking than the original ones, but IMO miss an important point: given the value of formulae φ etc. at every time point, formulae Xφ may be true or false in each time point. For every operator there should be two or three lines; for example one line for the truth of φ and one for Xφ etc. Tizio 16:44, 12 December 2006 (UTC)
- Yes, they seem to be wrong. But I'm not sure about them. :(130.83.72.224 23:52, 12 December 2006 (UTC)
- Well I just checked it and they are wrong. I'll try to correct it.130.83.72.224 23:55, 12 December 2006 (UTC)
- Uhm, could someone correct that last image? I can't130.83.72.224 23:57, 12 December 2006 (UTC)
