http://en.wikipedia.org/wiki/Temporal_logic url of: km#temporal_logic
No statement uses or specializes http://en.wikipedia.org/wiki/Temporal_logic; click here to add one.
Another search (with same display options)?