Talk:Temporal logic
From Wikipedia, the free encyclopedia
 |
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details. | ||||||||
| ??? | This article has not yet received a rating on the quality scale. | ||||||||
| ??? | This article has not yet received an importance rating on the importance scale. | ||||||||
|
|||||||||
This talk page used to be a redirect to Talk:Time loop logic. I have removed this redirect. Paolo Liberatore (Talk) 14:43, 18 October 2005 (UTC)
[edit] Section of common properties
A section describing common properties to check should be added, for example:
- AG p - Safety
- AF p - Liveness
- EF p - Reachability
- EG p - ?? <- is there a name for that?
[edit] Name
I think we should change the name to tense logic because WILL and WAS opertor belong to the grammatical category of tense. Temporal logic uses variabels for instances of time. RickardV 06:29, 24 July 2007 (UTC)
[edit] Improperly parenthesised expressions
N.B. I guess the expression of φ U ψ and φ R ψ in the article are improperly parenthesised. If someone aware could give a look at this...
—Preceding unsigned comment added by 81.56.75.108 (talk) 20:27, 10 February 2008 (UTC)
- I think you are right, because in both the second occurrence of i is not bound. Frankly, the whole thing does not make much sense, what with the switches from φ and ψ to B and C to p and q, and with φ having a totally different and unexplained role in the "Definition" column. --Lambiam 03:49, 11 February 2008 (UTC)
