|home | alphabetical index|
Temporal logicIn logic, the term temporal logic is used to describe any system of rules and symbolism for representing, and reasoning about, propositions qualified in terms of time. It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.
For more information, see:Wikipedia by improving it.
|copyright © 2004 FactsAbout.com|