Talk:Temporal logic
From Wikipedia, the free encyclopedia
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?
